'formal':1 'marlin':4 'pratyush':6 'proof':2 'w':5

`nazg`: Proving Ring Equalities Done Wrong

'done':5 'equal':4 'nazg':1 'prove':2 'ring':3 'wrong':6

'backdoor':4 'post':2 'post-quantum':1 'quantum':3 'vdfs':5

Violating classical consensus impossibility results with quantum

'classic':2 'consensus':3 'imposs':4 'quantum':7 'result':5 'violat':1

Formalizing "Categorical Composable Cryptography"

'categor':2 'compos':3 'cryptographi':4 'formal':1

Automated Market Maker Monte Carlo w/ @EvanDaniel

'autom':1 'carlo':5 'evandaniel':7 'maker':3 'market':2 'mont':4 'w':6

Mechanism design to incentivize `mathlib` contribution

'contribut':6 'design':2 'incentiv':4 'mathlib':5 'mechan':1

'interstellar':3 'krugman':1 'redux':5 'trade':4

'averag':3 'average-cas':2 'case':4 'poisson':1 'tsp':5

Efficient polynomial multiplication for mathlib

'effici':1 'mathlib':5 'multipl':3 'polynomi':2

Optimal sampling for statistical democracy w/ Surya

'democraci':5 'optim':1 'sampl':2 'statist':4 'surya':7 'w':6

TEE via physics/materials science w/ Sylvain

'physics/materials':3 'scienc':4 'sylvain':6 'tee':1 'via':2 'w':5

[James's system of equations for multichoice mechanism versions](https://manifold.markets/JamesGrugett/solve-these-equations-for-a-simpler#pcfde0bgc1)

'/jamesgrugett/solve-these-equations-for-a-simpler#pcfde0bgc1)':12 'equat':5 'jame':1 'manifold.markets':11 'manifold.markets/jamesgrugett/solve-these-equations-for-a-simpler#pcfde0bgc1)':10 'mechan':8 'multichoic':7 'system':3 'version':9

I have a variety of ideas that live on my computer/in Overleaf files/GitHub repos with my collaborators. I would like to predict which ideas I will actually be able to turn into research.

These don't necessarily reflect titles. Rather they reflect ideas, some of which  might eventually be combined in some form with other ideas. Some of them are anonymized to avoid leaking ideas, feel free to DM if you are interested in hearing about details / betting on them for me / participating in the projects themselves.