Viewing profile — aseg

Gordo and Bruce are pioneers in the gliding world. One of their coolest flights that shows their creative flight planning shows up in their 3000km flight in the Sierra Nevada's, an…

Slightly meta-level: I'm glad the authors finds the ICLR reviews useful, and this illustrates one of the successes of ICLR's policy of always open sourcing the reviews (regardless …

The force at the attachment point is constantly changing and depends on several factors. - the weight of either airplane. - the performance of the engine on that particular day (va…

In gliding, tow upsets are pretty common and, in rare cases, can be fatal. An out-of-position glider out can _easily_ and very quickly overcome the tow planes elevator authority (a…

This is my research area. I just finished reviewing six NeurIPS papers (myself, no LLM involved) on LLM Agents for discovery and generation and I'm finding that evaluating LLM agen…

Assume you have data for Hooke's law (a spreadsheet with F, x, and other variables) and you want AlphaEvolve to give you the equation ``F = -C_1*x``. Let's say the model hallucinat…

Happy to answer them! 1. Because we only have blackbox access to the LLM and the evaluation function might not be differentiable. 2. We're trying to search over the space of all pr…

Finally—something directly relevant to my research ( https://trishullab.github.io/lasr-web/ ). Below are my take‑aways from the blog post, plus a little “reading between the lines.…

Location: Pasadena, CA Remote: No/Yes Willing to relocate: Yes Technologies: Computer Vision, Code generation, Program Synthesis, Coq, Lean, PyTorch, Julia Résumé/CV: https://athar…

If you're looking to run a .exe file, there are a couple of hypervisors in the market (sometimes found on the high seas). I've tried these on a couple of obscure .exe files: - Para…

You might find (Cramer, 1985) interesting! IIRC they go into exactly this problem. However, I can't find an open pdf to link to unfortunately. I'll edit this list tomorrow morning …

I encourage everyone to read this paper. It's well written and easy to follow along. To the uninitiated, SR is the problem of finding a mathematical (symbolic) expression that most…

The algorithms are generally in the area of machine learning + programming languages and pretty flexible. This paper talks about how we "bias" these algorithms for applications in …

Hello! I'm one of the authors on this. Feel free to ask me any questions. Happy to clear up any confusion about what we're talking about as well! Here's a survey paper describing t…