5-day longest streak
Hi, I'm Ben 👋 Research Engineer at Ai2, working on agentic LLM systems. I like taking ideas from a whiteboard to deployed features that people actually use. 🔭 Currently building…
Hi, I'm Ben 👋
Research Engineer at Ai2, working on agentic LLM systems. I like taking ideas from a whiteboard to deployed features that people actually use.
- 🔭 Currently building Paper Finder, a multi-turn agentic search tool for scientific literature
- 🎓 PhD from Ben-Gurion University on Text-to-SQL parsing
- 📄 Published at EMNLP Findings 2023 and LREC 2020
Find me
- 🌐 beneyal.com
- 💼 linkedin.com/in/beneyal
- 📫 [[email protected]](mailto:[email protected])
-
rusty-picard ★ PINNED
Constrained incremental decoding for QPL — a Rust port of PICARD that parses QPL prefixes instead of SQL.
Rust ★ 1 26d agoExplain → -
ztm-dsa-scala
Some solutions to the exercises from the "Master the Coding Interview: Data Structures + Algorithms" course from Zero to Mastery.
Scala ★ 10 3y agoExplain → -
data-science-rnn
RNN implementation for Data Science course
Jupyter Notebook ★ 4 10y agoExplain → -
aoc-2023
No description.
Scala ★ 1 2y agoExplain → -
spider_execution_plans
No description.
Python ★ 1 3y agoExplain → -
theorem-prover
An interactive first-order-logic theorem proving tool
Ruby ★ 1 10y agoExplain → -
beneyal
No description.
★ 0 26d agoExplain → -
beneyal.github.io
Ben Eyal's personal website
HTML ★ 0 27d agoExplain → -
aoc-2025
My Advent of Code 2025 solutions
Python ★ 0 6mo agoExplain → -
dotfiles
No description.
Lua ★ 0 11mo agoExplain → -
text_to_condition ⑂
a Python package that provides functionality to convert free text into structured condition using an LLM.
Python ★ 0 1y agoExplain → -
ascii-art ⑂
A ZTM Hacktoberfest Challenge
Python ★ 0 1y agoExplain → -
scala-advent-of-code ⑂
Scala Center's solution of Advent of Code
★ 0 2y agoExplain → -
file-io ⑂
No description.
JavaScript ★ 0 2y agoExplain → -
picard ⑂
PICARD - Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models. PICARD is a ServiceNow Research project that was started at Element AI.
Haskell ★ 0 2y agoExplain → -
aoc-2022
Scala solutions for Advent of Code 2022
Scala ★ 0 3y agoExplain → -
zio ⑂
ZIO — A type-safe, composable library for async and concurrent programming in Scala
★ 0 3y agoExplain → -
ascii-art-2022 ⑂
A ZTM Challenge for Hacktoberfest 2022, converting images into text using the 95 printable characters defined by the ASCII Standard
Python ★ 0 3y agoExplain → -
advanced-functional-design ⑂
The material for the Advanced Functional Design workshop
★ 0 3y agoExplain → -
functional-design ⑂
Exercises for the course 'Functional Design by John A. De Goes
★ 0 3y agoExplain → -
Complete-Python-Developer-Manual ⑂
Class notes for Andrei Neagoie's Complete Python Developer course through Zero to Mastery.
Jupyter Notebook ★ 0 4y agoExplain → -
course ⑂
The Hugging Face course
★ 0 4y agoExplain → -
rusty-scheme
A toy Scheme interpreter written in Rust for learning purposes (WIP).
Rust ★ 0 4y agoExplain → -
pytorch-deep-learning ⑂
Materials for upcoming beginner-friendly PyTorch course (work in progress).
Jupyter Notebook ★ 0 4y agoExplain → -
CIS194
Solutions for Brent Yorgey's CIS194 (Spring 2013)
Haskell ★ 0 9y agoExplain → -
seminar171
Beamer presentation for Advanced Seminar C
TeX ★ 0 9y agoExplain → -
crowdflower-ex4
No description.
Jupyter Notebook ★ 0 10y agoExplain →
No repos match these filters.