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
