Dakotah Lambert

11 papers B 2Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
MLRegTest: A Benchmark for the Machine Learning of Regular Languages.
J. Mach. Learn. Res.
Sam van der Poel, Dakotah Lambert, Kalina Kostyszyn, Tiantian Gao, Rahul Verma, Derek Andersen, Joanne Chau, Emily Peterson, Cody St. Clair, Paul Fodor, Chihiro Shibata, Jeffrey Heinz
2024 Misc conf
System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby.
FLOPS
Dakotah Lambert
2023 J jnl
MLRegTest: A Benchmark for the Machine Learning of Regular Languages.
CoRR
Sam van der Poel, Dakotah Lambert, Kalina Kostyszyn, Tiantian Gao, Rahul Verma, Derek Andersen, Joanne Chau, Emily Peterson, Cody St. Clair, Paul Fodor, Chihiro Shibata, Jeffrey Heinz
2023 J jnl
Relativized Adjacency.
J. Log. Lang. Inf.
Dakotah Lambert
2023 B conf
Robust Identification in the Limit from Incomplete Positive Data.
FCT
Philip Kaelbling, Dakotah Lambert, Jeffrey Heinz
2023 — conf
TAYSIR Competition: Transformer+RNN: Algorithms to Yield Simple and Interpretable Representations.
ICGI
Rémi Eyraud, Dakotah Lambert, Badr Tahri Joutei, Aidar Gaffarov, Mathias Cabanne, Jeffrey Heinz, Chihiro Shibata
2021 — conf
Grammar Interpretations and Learning TSL Online.
ICGI
Dakotah Lambert
2021 J jnl
Typology emerges from simplicity in representations and learning.
J. Lang. Model.
Dakotah Lambert, Jonathan Rawski, Jeffrey Heinz
2019 J jnl
Extracting Subregular constraints from Regular stringsets.
J. Lang. Model.
James Rogers, Dakotah Lambert
2017 — conf
Extracting Forbidden Factors from Regular Stringsets.
MOL
James Rogers, Dakotah Lambert
2012 B conf
Cognitive and Sub-regular Complexity.
FG
James Rogers, Jeffrey Heinz, Margaret Fero, Jeremy Hurst, Dakotah Lambert, Sean Wibel
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling