Inc-G

ginchiostro's activity

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

upvoted a paper 1 day ago

Semantic Search over 9 Million Mathematical Theorems

Paper • 2602.05216 • Published 2 days ago • 16

upvoted a paper 2 days ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published 4 days ago • 24

published a Space 3 months ago

Running

Q Learning Briscola

🔥

Play a game of Briscola against different opponents

updated a Space 3 months ago

Running

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 • 11

published a dataset 3 months ago

ginchiostro/briscola_images

Viewer • Updated Nov 12, 2025 • 46 • 11

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 3 months ago

Sleeping

Beat Tracking

🚀

published a Space 3 months ago

Sleeping

Beat Tracking

🚀

updated a model 3 months ago

ginchiostro/music_beat_tracking

Updated Oct 28, 2025

published a model 3 months ago

ginchiostro/music_beat_tracking

Updated Oct 28, 2025