GitXplorer
Toggle theme
Home
atroyn
a
atroyn
I make robots and robot accessories.
16 repositories
93 followers
http://troynikov.io
X
@atroyn
Repositories
Select a repository to view its commits, contributors, and more.
Select sort
Select order
Select limit
public
math-llm
Grounding LLM mathematical reasoning with proof assistants.
Python
59
4
3
Updated 4 days ago
public
gpt_conway
Jupyter Notebook
8
1
0
Updated 10 months ago
public
bounding
C++
0
0
0
Updated 8 years ago
Previous
1
Next