![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[SND]](/icons/sound2.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Alien_Coding.wav | 2024-11-26 20:31 | 42M | |
| Bitcoin_ A Peer-to-Peer Electronic Cash System.wav | 2024-11-26 18:36 | 39M | |
| First_Neural_Conjecturing_Datasets_and_Experiments.wav | 2024-11-16 12:45 | 25M | |
| Invariant_neural_architecture_for_learning_term_synthesis_in_instantiation_proving.wav | 2024-11-26 20:17 | 35M | |
| Learning_Program_Synthesis_for_Integer_Sequences_from_Scratch.wav | 2024-11-16 12:45 | 34M | |
| Machine_Learning_for_Quantifier_Selection_in_cvc5.wav | 2024-11-26 18:50 | 27M | |
| Neural_Guidance_for_cvc5s_Enumerative_Instantiation.wav | 2024-11-26 19:50 | 54M | |
| Payment Channels with Proofs in Proofgold.wav | 2025-02-12 18:32 | 62M | |
| Proofgold_ A Blockchain for Formal Methods.wav | 2024-11-26 18:35 | 46M | |
| Solving_Hard_Mizar_Problems_with_Instantiation_and_Strategy_Invention.wav | 2024-11-26 20:06 | 56M | |
| Vampire_Getting_Noisy_Will_Random_Bits_Help_Conquer_Chaos.wav | 2024-11-16 12:46 | 35M | |
| mp4/ | 2024-11-27 12:43 | - | |