Anthony Marchiafava
According to our database1,
Anthony Marchiafava authored at least 2 papers
in 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Synthetically generated proofs in Propositional Logic and Language Model reasoning performance.
Proceedings of the Workshops at the Fourth International Conference on Hybrid Human-Artificial Intelligence co-located with the Fourth International Conference on Hybrid Human-Artificial Intelligence (HHAI 2025), 2025
Proceedings of the 2025 AAAI Spring Symposium Series, 2025