Search Results for author: Nimrod Megiddo

Found 8 papers, 2 papers with code

An Efficient Interior-Point Method for Online Convex Optimization

no code implementations21 Jul 2023 Elad Hazan, Nimrod Megiddo

A new algorithm for regret minimization in online convex optimization is described.

On "Indifference" and Backward Induction in Games with Perfect Information

no code implementations8 Jul 2023 Nimrod Megiddo

Indifference of a player with respect to two distinct outcomes of a game cannot be handled by small perturbations, because the actual choice may have significant impact on other players, and cause them to act in a way that has significant impact of the indifferent player.

On the Use of Generative Models in Observational Causal Analysis

no code implementations7 Jun 2023 Nimrod Megiddo

Estimating the joint probability distribution of can be useful for predicting values of variables in view of the observed values of others, but it is not sufficient for inferring causal relationships.

Remarks on Utility in Repeated Bets

no code implementations6 Jun 2023 Nimrod Megiddo

The use of von Neumann -- Morgenstern utility is examined in the context of multiple choices between lotteries.

Bayesian Experimental Design for Symbolic Discovery

no code implementations29 Nov 2022 Kenneth L. Clarkson, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Nimrod Megiddo

This study concerns the formulation and application of Bayesian optimal experimental design to symbolic discovery, which is the inference from observational data of predictive models taking general functional forms.

Experimental Design Numerical Integration

AI Descartes: Combining Data and Theory for Derivable Scientific Discovery

1 code implementation3 Sep 2021 Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler Josephson, Joao Goncalves, Kenneth Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh

We develop a method to enable principled derivations of models of natural phenomena from axiomatic knowledge and experimental data by combining logical reasoning with symbolic regression.

Automated Theorem Proving BIG-bench Machine Learning +2

Symbolic Regression using Mixed-Integer Nonlinear Optimization

no code implementations11 Jun 2020 Vernon Austel, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Tyler Josephson, Nimrod Megiddo

The Symbolic Regression (SR) problem, where the goal is to find a regression function that does not have a pre-specified form but is any function that can be composed of a list of operators, is a hard problem in machine learning, both theoretically and computationally.

regression Symbolic Regression

Strategic Classification

2 code implementations23 Jun 2015 Moritz Hardt, Nimrod Megiddo, Christos Papadimitriou, Mary Wootters

Jury designs a classifier, and Contestant receives an input to the classifier, which he may change at some cost.

BIG-bench Machine Learning Classification +1

Cannot find the paper you are looking for? You can Submit a new open access paper.