Nikil Ravi
@nikil
Nikil Ravi
Shakespeare's Fair Youth Sonnets
thoughtco.com
Citizen scientists—practices, observations, and experience - Humanities and Social Sciences Communications
Michael O’Gradynature.comA 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.
leanprover.zulipchat.comThere’s no such thing as auto-formalization
cutfree.netGitHub - leanprover-community/ProofWidgets4: Helper toolkit for creating your own Lean 4 UserWidgets
github.com
OpenReview: Venues
openreview.net
Just a moment...
science.org
On Blackboards
people.math.harvard.edu