Inc-G's picture

1

Inc-G

ginchiostro

Inc-G

AI & ML interests

None yet

Recent Activity

upvoted a paper about 18 hours ago

Learning to Repair Lean Proofs from Compiler Feedback

published a Space 3 months ago

ginchiostro/Q_learning_briscola

updated a Space 3 months ago

ginchiostro/Q_learning_briscola

View all activity

Organizations

None yet

spaces 2

Q Learning Briscola

Play a game of Briscola against different opponents

Beat Tracking

models 2

ginchiostro/briscola_model

Updated Nov 12, 2025

ginchiostro/music_beat_tracking

Updated Oct 28, 2025

datasets 1

ginchiostro/briscola_images

Viewer • Updated Nov 12, 2025 • 46 • 11