UNREAL: A Unified Reasoning Layer for Trustworthy ML

Vergari, Antonio (Principal Investigator)

School of Informatics

Status	Active
Effective start/end date	1/09/23 → 31/08/28

Funding

UKRI (formerly RCUK): £1,268,536.45

2 Conference contribution
1 Paper
1 Article
1 Preprint

What can large language models capture about code functional equivalence?
Maveli, N., Vergari, A. & Cohen, S. B., 29 Apr 2025, Findings of the Association for Computational Linguistics: NAACL 2025. Chiruzzo, L., Ritter, A. & Wang, L. (eds.). Kerrville, TX, USA: Association for Computational Linguistics, p. 6880-6918 39 p. 382
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
On faster marginalization with squared circuits via orthonormalization
Loconte, L. & Vergari, A., 19 Jan 2025, p. 1-11. 11 p.
Research output: Contribution to conference › Paper › peer-review

Open Access
File
A Bayesian analysis of heart rate variability changes over acute episodes of bipolar disorder
Corponi, F., Li, B. M., Anmella, G., Valenzuela-Pascual, C., Pacchiarotti, I., Valentí, M., Grande, I., Benabarre, A., Garriga, M., Vieta, E., Lawrie, S. M., Whalley, H. C., Hidalgo-Mazzei, D. & Vergari, A., 3 Oct 2024, In: npj Mental Health Research. p. 1-11 11 p., 44.
Research output: Contribution to journal › Article › peer-review

Open Access
File