Nikil Ravi
@nikil
Nikil Ravi
GitHub - leanprover-community/ProofWidgets4: Helper toolkit for creating your own Lean 4 UserWidgets
github.com
Automatically Generalizing Theorems Using Typeclasses
easychair.org
Just a moment...
dl.acm.org
Shakespeare's Fair Youth Sonnets
thoughtco.com
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"I was waiting for something extraordinary to happen, but as the years wasted on, nothing ever did unless I caused it.”
—Charles Bukowski
On Blackboards
people.math.harvard.eduAn Extensible User Interface for Lean 4
drops.dagstuhl.de