Inc-G

ginchiostro's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 7 days ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published 8 days ago • 19

upvoted a paper 8 days ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published 10 days ago • 27

published a Space 3 months ago

Sleeping

Q Learning Briscola

🔥

Play a game of Briscola against different opponents

updated a Space 3 months ago

Sleeping

Q Learning Briscola

🔥

Play a game of Briscola against different opponents

updated a dataset 3 months ago

ginchiostro/briscola_images

Viewer • Updated Nov 12, 2025 • 46 • 15

published a dataset 3 months ago

ginchiostro/briscola_images

Viewer • Updated Nov 12, 2025 • 46 • 15

updated a model 3 months ago

ginchiostro/briscola_model

Updated Nov 12, 2025

published a model 3 months ago

ginchiostro/briscola_model

Updated Nov 12, 2025

updated a Space 4 months ago

Sleeping

Beat Tracking

🚀

published a Space 4 months ago

Sleeping

Beat Tracking

🚀

updated a model 4 months ago

ginchiostro/music_beat_tracking

Updated Oct 28, 2025

published a model 4 months ago

ginchiostro/music_beat_tracking

Updated Oct 28, 2025