Nikil Ravi

Shakespeare's Fair Youth Sonnets

Citizen scientists—practices, observations, and experience - Humanities and Social Sciences Communications

A Promising Path Towards Autoformalization and General Artificial Intelligence

The paper proposes autoformalization—automatically converting informal natural language mathematics into formal, machine-verifiable statements—as a promising approach to achieving AI with human-level general reasoning and significant impacts on mathematics, programming, and AI systems.

There’s no such thing as auto-formalization

GitHub - leanprover-community/ProofWidgets4: Helper toolkit for creating your own Lean 4 UserWidgets

OpenReview: Venues

Just a moment...

On Blackboards

GitHub - wvhulle/riddle-proofs: Riddles solved in Lean4 for educational purposes