Log inSign up free
Unclaimed profileBuilt from public GitHub and Hugging Face activity. Dr. has not joined Lounge yet.Claim it
Not on Lounge yet

Dr. Octavia Sulea

@mary-octaviafounder
PhD in Information Science✴︎CEO✴︎co-founder✴︎hacker
📍 San Francisco, CA🏢 Astrolane🔗 www.astrolane.io/x.com/OctaviaSulea
1
projects
32
followers

Public projects

lean-llm★ 0
LLM-proposed proofs, checked by Lean. A bounded local proof loop with induction, error feedback, and rechecked proof caching.
Python