Cited By
View all- de Almeida Borges AGonzález Bedmar MConejero Rodríguez JHermo Reyes ECasals Buñuel JJoosten JTimany ATraytel DPientka BBlazy S(2024)UTC Time, Formally VerifiedProceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3636501.3636958(2-13)Online publication date: 9-Jan-2024
- Rule JPiantadosi SCropper AEllis KNye MTenenbaum J(2024)Symbolic metaprogram search improves learning efficiency and explains rule learning in humansNature Communications10.1038/s41467-024-50966-x15:1Online publication date: 10-Aug-2024
- Itzhaky SPeleg HPolikarpova NRowe RSergey IFreund SYahav E(2021)Cyclic program synthesisProceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3453483.3454087(944-959)Online publication date: 19-Jun-2021
- Show More Cited By