The following pages link to Jan Leike (Q1704558):
Displaying 9 items.
- On the computability of Solomonoff induction and AIXI (Q1704559) (← links)
- Geometric nontermination arguments (Q2324233) (← links)
- Solomonoff Induction Violates Nicod’s Criterion (Q2835642) (← links)
- On the Computability of Solomonoff Induction and Knowledge-Seeking (Q2835643) (← links)
- Synthesis for Polynomial Lasso Programs (Q2938082) (← links)
- Indefinitely Oscillating Martingales (Q2938742) (← links)
- Sequential Extensions of Causal and Evidential Decision Theory (Q3449535) (← links)
- Linear Ranking for Linear Lasso Programs (Q5166700) (← links)
- Ranking Templates for Linear Loops (Q5246721) (← links)