Avraham Shinnar

Research Staff Member, International Business Machines

Joined

April 2019

Names

Avraham Shinnar (Preferred)

Emails

****@us.ibm.com (Confirmed)

Personal Links

Homepage

DBLP

Career & Education History

Research Staff Member

International Business Machines (ibm.com)

2011 – Present

Advisors, Relations & Conflicts

PhD Advisor

Greg Morrisett

2005 – 2011

Expertise

No areas of expertise listed

Publications

AVSAD: Automating Vector Symbolic Architecture Discovery with Iterative Evolution
Deja N Scott, Dmitry Zubarev, Massimiliano Esposito, Avraham Shinnar, Abbas Rahimi, Kenneth L. Clarkson, Lior Horesh, Michael Hersche, Shashanka Ubaru
- ICLR 2026 Workshop LLM Reasoning
- Readers: Everyone
Otter: Generating Tests from Issues to Validate SWE Patches
Toufique Ahmed, Jatin Ganhotra, Rangeet Pan, Avraham Shinnar, Saurabh Sinha, Martin Hirzel
- ICML 2025 poster
- Readers: Everyone
Training and Cross-Validating Machine Learning Pipelines with Limited Memory
Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
- AutoML 2024
- Readers: Everyone
Searching for Fairer Machine Learning Ensembles
Michael Feffer, Martin Hirzel, Samuel C Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar
- Published: 16 May 2023, Last Modified: 05 Sept 2023
- AutoML 2023 MainTrack
- Readers: Everyone
Gradual AutoML using Lale
Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay
- 2022 (modified: 23 Jan 2023)
- KDD 2022
- Readers: Everyone
Formalization of a Stochastic Approximation Theorem
Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun
- Published: 01 Jan 2022, Last Modified: 12 May 2023
- ITP 2022
- Readers: Everyone
Extracting enhanced artificial intelligence model metadata from software repositories
Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert
- Published: 01 Jan 2022, Last Modified: 12 May 2023
- Empir. Softw. Eng. 2022
- Readers: Everyone
Translating canonical SQL to imperative code in Coq
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
- Published: 01 Jan 2022, Last Modified: 12 May 2023
- Proc. ACM Program. Lang. 2022
- Readers: Everyone
General Probability in Coq
Avraham Shinnar, Barry M. Trager
- Published: 01 Jan 2022, Last Modified: 12 May 2023
- DSN Workshops 2022
- Readers: Everyone
RASL: Relational Algebra in Scikit-Learn Pipelines
Chirag Sahni, Kiran Kate, Avraham Shinnar, Hoang Thanh Lam, Martin Hirzel
- Published: 20 Oct 2021, Last Modified: 05 May 2023
- DBAI
- Readers: Everyone

View all 20 publications

Co-Authors

View all 40 co-authors