Inc-G's picture

1

Inc-G

ginchiostro

Inc-G

AI & ML interests

None yet

Recent Activity

upvoted a paper about 22 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

ginchiostro 's models 2

ginchiostro/briscola_model

Updated Nov 12, 2025

ginchiostro/music_beat_tracking

Updated Oct 28, 2025