APA (7th ed.) Citation

Gupta, D. (2026). Participation in First Proof Challenge by Zetesis Labs leveraging our work on formal Epistemology for Proof Discovery. Zenodo.

Chicago Style (17th ed.) Citation

Gupta, Dhruv. Participation in First Proof Challenge by Zetesis Labs Leveraging Our Work on Formal Epistemology for Proof Discovery. Zenodo, 2026.

MLA (9th ed.) Citation

Gupta, Dhruv. Participation in First Proof Challenge by Zetesis Labs Leveraging Our Work on Formal Epistemology for Proof Discovery. Zenodo, 2026.

Warning: These citations may not always be 100% accurate.