Publications
- Neuro-symbolic NLP: taxonomy, assessment, and directions
Chatzikyriakidis S Lappin S
Frontiers in Artificial Intelligence, Frontiers vol. 9
22-05-2026 - Predicting Sentence Acceptability Judgments in Multimodal Contexts
Jang H Ilinykh N Loáiciga S Lau JH Lappin S
15th Workshop on Cognitive Modeling and Computational Linguistics (CMCL) Palma, Spain 16 May 2026., 25-34.
11-05-2026 - Beat and Downbeat Detection: A Reformulated Approach
Bolt J Pauwels J Fazekas G
ICASSP 2026 - 2026 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). vol. 00, 15282-15286.
08-05-2026 - OSRAQMUL: a digital application for oral surgery risk assessment
Hassan H Al-Tamimi H Shado R Dean S Rathod R Oliva P Matin A
Bdj Open vol. 12 (1)
01-05-2026 - Grain Size-Dependent Defect and Domain Evolution in Lead Titanate-Based Relaxor Ferroelectrics
Zhang H Wang Y Li Z Oh S Liu J Yan H Hao Y Su L
Acs Applied Materials & Interfaces, American Chemical Society (Acs) vol. 18 (17), 24889-24898.
22-04-2026 - Universality in random persistent homology and scale-invariant functionals
Bobrowski O Skraba P
Communications of The American Mathematical Society, American Mathematical Society (Ams) vol. 6 (07), 378-423.
21-04-2026 - Mixed Choice in Asynchronous Multiparty Session Types
Bocchi L Hu R Voinea AL Thompson S
Proceedings of The Acm on Programming Languages, Association For Computing Machinery (Acm) vol. 10 (OOPSLA1), 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, Association For Computing Machinery (Acm) vol. 10 (OOPSLA1), 1846-1873.
10-04-2026 - Finite-temperature Yang-Mills theories with the density of states method: Toward the continuum limit
Anonymous Lucini B Mason D Piai M Rinaldi E Vadacchino D Zierler F
Physical Review D, American Physical Society (Aps) vol. 113 (7)
01-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 - From Cognitive Priors to Instance Semantics: A Unified Framework for Multi-task Affective Computing
Hu G Kollias D Yang X
2026 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV). vol. 00, 8551-8562.
10-03-2026 - SynchroRaMa : Lip-Synchronized and Emotion-Aware Talking Face Generation via Multi-Modal Emotion Embedding
Yee PT Kollias D Mishra S Dhall A
2026 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV). vol. 00, 4546-4555.
10-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 - Humanity's Last Exam
Phan L Gatti A Han Z Li N Hu J Zhang H Zhang CBC Shaaban M et al.
20-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 SR
21-01-2026 - Towards Effective Negation Modeling in Joint Audio-Text Models for Music
Vasilakis Y Bittner R Pauwels J
20-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 - Bounds on the static electric susceptibility of nonequilibrium cubic crystals: A study of sample shape dependence
Dutta R Hao Y
Solid State Communications, Elsevier vol. 407
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 - Guest Editorial: Special Issue on Fluid Antenna System and Other Next-Generation Reconfigurable Antenna Systems for Wireless Communications
Wong K-K New WK Wang C Chae C-B Murch R Jafarkhani H Hao Y
IEEE Journal on Selected Areas in Communications, Institute of Electrical and Electronics Engineers (IEEE) vol. 44, xi-xvi.
01-01-2026