Nikil Ravi

N

Nikil Ravi

@nikil

All cardsCollections

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.

leanprover.zulipchat.com

Automatically Generalizing Theorems Using Typeclasses

Thumbnail of Automatically Generalizing Theorems Using Typeclasses

OpenReview: Venues

Thumbnail of OpenReview: Venues

An Extensible User Interface for Lean 4

drops.dagstuhl.de

Cover of An Extensible User Interface for Lean 4

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

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

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

Michael O’Grady nature.com

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

wvhulle github.com

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

"I was waiting for something extraordinary to happen, but as the years wasted on, nothing ever did unless I caused it.”

—Charles Bukowski

Shakespeare's Fair Youth Sonnets

Thumbnail of Shakespeare's Fair Youth Sonnets