a

atroyn

I make robots and robot accessories.

16 repositories

93 followers

http://troynikov.io

Repositories

Select a repository to view its commits, contributors, and more.

math-llm

Grounding LLM mathematical reasoning with proof assistants.

Updated 4 days ago

gpt_conway

Jupyter Notebook

Updated 10 months ago

bounding

Updated 8 years ago