https://github.com/kiaragrouwstra/synthesis

code-base for my UvA MSc AI thesis on typed neural program synthesis
https://github.com/kiaragrouwstra/synthesis

Last synced: 3 months ago
JSON representation

code-base for my UvA MSc AI thesis on typed neural program synthesis

• Host: GitHub
• URL: https://github.com/kiaragrouwstra/synthesis
• Owner: KiaraGrouwstra
• License: other
• Created: 2019-11-01T12:44:42.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2023-12-14T18:45:45.000Z (about 1 year ago)
• Last Synced: 2023-12-14T19:58:15.073Z (about 1 year ago)
• Language: Haskell
• Homepage: https://tycho01.github.io/synthesis/
• Size: 58.6 MB
• Stars: 3
• Watchers: 3
• Forks: 1
• Open Issues: 21
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
# Typed Neuro-Symbolic Program Synthesis for the Typed Lambda Calculus

implementation has moved: https://gitlab.com/KiaraGrouwstra/hasktorch/tree/synthesis/synthesis/