Jan Leike
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Geometric nontermination arguments (available as arXiv preprint) | 2019-09-16 | Paper |
| On the computability of Solomonoff induction and AIXI Theoretical Computer Science | 2018-03-12 | Paper |
| On the computability of Solomonoff induction and knowledge-seeking Lecture Notes in Computer Science | 2016-11-30 | Paper |
| Solomonoff induction violates Nicod's criterion Lecture Notes in Computer Science | 2016-11-30 | Paper |
| Sequential extensions of causal and evidential decision theory Algorithmic Decision Theory | 2015-11-04 | Paper |
| Ranking Templates for Linear Loops Logical Methods in Computer Science | 2015-04-22 | Paper |
| Indefinitely oscillating martingales Lecture Notes in Computer Science | 2015-01-14 | Paper |
| Synthesis for Polynomial Lasso Programs Lecture Notes in Computer Science | 2015-01-13 | Paper |
| Linear ranking for linear lasso programs Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Research outcomes over time
This page was built for person: Jan Leike
