![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Alien_Coding.mp4 | 2024-11-26 20:33 | 13M | |
| First_Neural_Conjecturing_Datasets_and_Experiments.mp4 | 2024-11-26 19:08 | 7.9M | |
| Invariant_neural_architecture_for_learning_term_synthesis_in_instantiation_proving.mp4 | 2024-11-26 20:20 | 11M | |
| Learning_Program_Synthesis_for_Integer_Sequences_from_Scratch.mp4 | 2024-11-26 19:07 | 10M | |
| Machine_Learning_for_Quantifier_Selection_in_cvc5.mp4 | 2024-11-26 19:02 | 8.5M | |
| Neural_Guidance_for_cvc5s_Enumerative_Instantiation.mp4 | 2024-11-26 19:55 | 17M | |
| Proofgold_A_Blockchain_for_Formal_Methods.mp4 | 2024-11-26 19:15 | 14M | |
| Solving_Hard_Mizar_Problems_with_Instantiation_and_Strategy_Invention.mp4 | 2024-11-26 20:10 | 17M | |
| Vampire_Getting_Noisy_Will_Random_Bits_Help_Conquer_Chaos.mp4 | 2024-11-26 19:17 | 11M | |