Oct 2026
How many cosmic rays can GPT-2 survive?
About a dozen random bit flips break it, almost all through a single exponent bit.
Asher Feldman
I'm a Turing Scholar at UT Austin studying computer science and mathematics. I'm currently Co-founder of Tacit Research. Before that I worked on automated theorem proving in the UToPiA Lab, where I worked on making LLM-based provers better at Lean 4 by using RL to learn when to retrieve custom tactics.
Blog
Research & Work
2026—
Tacit Research — Co-founder, YC F26
Working on continual learning through compressed KV caches.
2026
UToPiA Lab, UT Austin — Undergraduate Researcher
Led a project with Prof. Isil Dillig on LLM-based theorem proving in Lean 4: a dynamic retrieval system that injects relevant custom proof tactics into the prover at inference time, with RL used to learn when to retrieve them.
2025
Lean 4 Directed Reading Program
Functional programming and formal verification in Lean 4. Proved properties of quicksort by hand, which is what got me interested in formal reasoning.
Education
2025—29
University of Texas at Austin — CS (Turing) + Mathematics