|
|
|
|
|
|
by lpage
1596 days ago
|
|
|
Hey (I don't want to out your first name here), we should catch up! I'll email you after digging out the inbox. Proxy Bidders are pure functions that map inputs (market conditions on other venues, metadata) to Expressive Bids in our bidding language (a bounded fragment of linear mixed real integer arithmetic logic—LIRA); certain EBs are CFMMs, and our most general solvers are SMT LIRA. |
|
|