1 citations · 1 across the 4 of their papers we have counts for
4 papers
Unsupervised Evaluation of Multi-Turn Objective-Driven Interactions
Emi Soroka, Tanmay Chopra, Krish Desai +1
Large language models (LLMs) have seen increasing popularity in enterprise applications where AI agents and humans engage in objective-driven interactions. However, these systems a…
Data-Efficient Realized Volatility Forecasting with Vision Transformers
Emi Soroka, Artem Arzyn
Recent work in financial machine learning has shown the virtue of complexity: the phenomenon by which deep learning methods capable of learning highly nonlinear relationships outpe…
Learning Temporal Logic Predicates from Data with Statistical Guarantees
Emi Soroka, Rohan Sinha, Sanjay Lall
Temporal logic rules are often used in control and robotics to provide structured, human-interpretable descriptions of trajectory data. These rules have numerous applications inclu…
Satisfiability.jl: Satisfiability Modulo Theories in Julia
Emiko Soroka, Mykel J. Kochenderfer, Sanjay Lall
Satisfiability modulo theories (SMT) is a core tool in formal verification. While the SMT-LIB specification language can be used to interact with theorem proving software, a high-l…