John Loverich
john-glodon
ยท
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
25 days ago
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem
Proving
new activity
about 1 month ago
black-forest-labs/FLUX.1-Depth-dev-lora:Is it possible to use both depth and canny loras at the same time
Organizations
models
None public yet
datasets
None public yet