Publications

 
  • Mixed Choice in Asynchronous Multiparty Session Types
    Bocchi L Hu R Voinea L Thompson S
    Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 10, 1542-1569.  
    10-04-2026
  • Speak Now: Safe Actor Programming with Multiparty Session Types
    Fowler S Hu R
    Proceedings of The Acm on Programming Languages, Acm vol. 10, 1846-1873.  
    10-04-2026
  • SU(2) gauge theory with one and two adjoint fermions toward the continuum limit
    Athenodorou A Bennett E Bergner G Butti P Lenz J Lucini B
    Physical Review D, American Physical Society (Aps) vol. 113 (7) 
    01-04-2026
  • Aggregate-Combine-Readout GNNs Can Express Logical Classifiers Beyond the Logic C2
    Hauke SP Wałęga PA
    Proceedings of the AAAI Conference on Artificial Intelligence. vol. 40 (26), 21594-21601.  
    14-03-2026
  • Cost-Sensitive Conformal Training with Provably Controllable Learning Bounds
    Jia X Shi Y Liu Z Xu Y Yan Y
    Proceedings of the AAAI Conference on Artificial Intelligence. vol. 40 (27), 22274-22282.  
    14-03-2026
  • Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
    Sochański M Wałęga PA Zawidzki M
    Proceedings of the AAAI Conference on Artificial Intelligence. vol. 40 (23), 19371-19379.  
    14-03-2026
  • Fair Domain Generalization: An Information-Theoretic View
    Lian T Hu G Kollias D Yang X Celiktutan O
    Proceedings of the AAAI Conference on Artificial Intelligence. vol. 40 (28), 23382-23390.  
    14-03-2026
  • The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
    Grau BC Feng E Wałęga PA
    Proceedings of the AAAI Conference on Artificial Intelligence. vol. 40 (23), 19135-19142.  
    14-03-2026
  • Uniform Realizability Interpretations
    Berger U Oliva P
    Electronic Proceedings in Theoretical Computer Science. vol. 441, 46-61.  
    04-03-2026
  • Adaptive momentum weight averaging reduces initialization noise
    Wan J Liu Z Gao J Wu X Chan AB
    Pattern Recognition, Elsevier vol. 171 
    01-03-2026
  • Impartial Games: A Challenge for Reinforcement Learning
    Zhou B Riis S
    Machine Learning, Springer Nature vol. 115 (3) 
    01-03-2026
  • FeynTune: large language models for high-energy theory
    Richmond P Papageorgakis C Niarchos V Chowdhury B Agarwal P
    Machine Learning: Science and Technology, Iop Publishing vol. 7 (2) 
    27-02-2026
  • A Logic for Fresh Labelled Transition Systems
    Bandukara MH Tzevelekos N
    34th EACSL Annual Conference on Computer Science Logic (CSL 2026). 
    18-02-2026
  • Parameterised counting complexity theory
    Roth M
    Computer Science Review, Elsevier vol. 59 
    01-02-2026
  • A benchmark of expert-level academic questions to assess AI capabilities
    Phan L Gatti A Li N Khoja A Kim R Ren R Hausenloy J Zhang O et al.
    Nature, Springer Nature vol. 649 (8099), 1139-1146.  
    28-01-2026
  • LLMs can read music, but struggle to hear it. An evaluation of core music perception tasks
    Carone B Roman I Ripolles P
    Proceedings of Machine Learning Research 
    26-01-2026
  • Impartial Games: A Challenge for Reinforcement Learning
    Zhou B Riis S
     
    21-01-2026
  • Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity
    Focke J Goldberg LA Roth M Živný S
    ACM Transactions on Computational Logic. vol. 27 (1), 1-36.  
    16-01-2026
  • Welterweight Go: Boxing, Structural Subtyping, and Generics
    Hu R Lange J Toninho B Wadler P Griesemer R Randall K
    Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 10 (POPL), 2295-2322.  
    08-01-2026
  • The Complexity of Counting Small Sub-Hypergraphs
    Bressan M Brinkmann J Dell H Roth M Wellnitz P
    ACM-SIAM Symposium on Discrete Algorithms (SODA26). 
    07-01-2026
  • A Secure and Interoperable Big Data Platform for AI-Driven Healthcare Solutions: Insights From the GATEKEEPER Project
    Temporale C De Salvo E Gaeta E Rujas M Lopez-Perez L Haleem MS Aidonis V Georga EI et al.
    IEEE Access, Institute of Electrical and Electronics Engineers (IEEE) vol. 14, 16389-16405.  
    01-01-2026
  • Central limit theorems for local functionals of dynamic point processes
    Onaran E Bobrowski O Adler RJ
    Electronic Journal of Probability, Institute of Mathematical Statistics vol. 31 (none) 
    01-01-2026
  • Day algebras
    Robinson E Wrigley J
    Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 36 
    01-01-2026