Full name Familienname, Vorname

Bharadwaj, Sagar

Main Affiliation Organisationszuordnung

Carnegie Mellon University, United States of America (the)

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Kabra, Aditi ; Laurent, Jonathan ; Bharadwaj, Sagar ; Martins, Ruben ; Mitsch, Stefan ; Platzer, André	Can Large Language Models Autoformalize Kinematics?	Inproceedings Konferenzbeitrag	2025