Showing 1 - 2 of 2

1

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
Kolyakov, Kevin ; Marsso, Lina ; Feng, Nick ; et al.
2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). :33-36

Model-Driven Software En... FOS: Computer and inform... Computer Science - Compu... Formal Methods in Verifi... Computational Theory and... Artificial Intelligence
Academic journal
Save to List
2

GeoCoder: Solving Geometry Problems by Generating Modular Code through Vision-Language Models
Sharma, Aditya ; Dalmia, Aman ; Kazemi, Mehran ; et al.
Findings of the Association for Computational Linguistics: NAACL 2025. :7340-7356

Model-Driven Software En... FOS: Computer and inform... Computer Science - Compu... Computer Networks and Co... Artificial Intelligence Computer Vision and Patt...
Academic journal
Save to List

Filter