Justin Moua

According to our database, Justin Moua authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2025

Synthetically generated proofs in Propositional Logic and Language Model reasoning performance.

Anthony Marchiafava, Atriya Sen, Justin Moua

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