• Sign in
  • Sign up
conf.researchr.org / Evan Donahue
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
Evan Donahue

Registered user since Sat 14 Aug 2021

Name:Evan Donahue
Bio:

I study natural language processing and logic programming to design language based interfaces.

Country:Japan
Affiliation:University of Tokyo
Personal website: http://www.evandonahue.com
GitHub: https://github.com/emdonahue
Research interests:minikanren, nlp, ai, tdm

Contributions

2024

miniKanren

  • Speaker of Relational Reactive Programming: miniKanren for the Web within the miniKanren 2024-track

2023

miniKanren

  • Author of Goals as Constraints: Writing miniKanren Constraints in miniKanren within the miniKanren 2023-track
  • Committee Member in Program Committee within the miniKanren 2023-track

2022

miniKanren

  • Presenter of Efficient Variational Inference in miniKanren with Weighted Model Counting within the miniKanren 2022-track

2021

miniKanren

  • Author of Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Variables within the miniKanren 2021-track
Share
xWed 21 May 22:12
using conf.researchr.org (v1.69.0)
Support page
Sign Up