Links for 2023-12-12
Photorealistic Video Generation with Diffusion Models https://walt-video-diffusion.github.io/
“Launching Lean Co-pilot for LLM-human collaboration to write formal mathematical proofs that are 100% accurate. We use LLMs to suggest proof tactics in Lean and also allow humans to intervene and modify in a seamless manner.” https://github.com/lean-dojo/LeanCopilot
Mixtral 8x7B outperforms Llama 2 70B and GPT 3.5 on most benchmarks, at the inference cost of a 12B dense model, with 32k tokens context size. https://mistral.ai/news/mixtral-of-experts/
PathFinder: Guided Search over Multi-Step Reasoning Paths https://arxiv.org/abs/2312.05180
Schrodinger Bridges Beat Diffusion Models on Text-to-Speech Synthesis https://bridge-tts.github.io/
PatchFusion: An End-to-End Tile-Based Framework for High-Resolution Monocular Metric Depth Estimation https://zhyever.github.io/patchfusion/
Generative agent-based modeling with actions grounded in physical, social, or digital space using Concordia. Checks physical plausibility of agent actions and describes their effects for simulated physical worlds. https://arxiv.org/abs/2312.03664
Pearl: A Production-ready Reinforcement Learning Agent https://pearlagent.github.io/
“We introduce a new approach to decode and interpret statutes and administrative documents employing Large Language Models (LLMs) for data collection and analysis that we call generative regulatory measurement. We use this tool to construct a detailed assessment of U.S. zoning regulations. We estimate the correlation of these housing regulations with housing costs and construction. Our work highlights the efficacy and reliability of LLMs in measuring and interpreting complex regulatory datasets.” https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4627587
OneLLM: One Framework to Align All Modalities with Language https://arxiv.org/abs/2312.03700
Political links:
McWhorter and Loury and a new film: George Floyd wasn’t murdered https://whyevolutionistrue.com/2023/12/11/mcwhorter-and-loury-and-a-new-film-george-floyd-wasnt-murdered/
“Wild to me that the PRC has just kind of soft annexed a chunk of Bhutan and it is passing not only unopposed but basically unremarked upon” https://twitter.com/Matt_Schrader_/status/1734291274709246209
Frontline Analysis: Assessing the Current Situation https://frontelligence.substack.com/p/frontline-analysis-assessing-the
Romney: “If Putin thinks he can invade his neighbor with impunity, he will not stop with Ukraine. Putin will invade a NATO nation which will draw our troops into war with Russia. It’s critical to our national security that Ukraine has the weapons it needs to put up a great fight.” https://twitter.com/SenatorRomney/status/1734258506746761603 (Note that Romney has been consistent on this. In 2012, Obama mocked Romney for warning about Russia. People like Obama and their appeasement are directly responsible for the war. As John McCain once said, “[t]here's nothing that provokes Vladimir Putin more than weakness.”)
The battle of Avdiivka. https://twitter.com/ThomasVLinge/status/1734289732643729506
Accumulation of destroyed Russian transport vehicles, as said by FPV drones. Left bank Kherson region. https://twitter.com/bayraktar_1love/status/1734291703488491672
Alarm Grows Over Weakened Militaries and Empty Arsenals in Europe — “Denmark has no heavy artillery, submarines or air-defense systems. Germany’s army has enough ammunition for two days of battle.” https://www.wsj.com/world/europe/alarm-nato-weak-military-empty-arsenals-europe-a72b23f4 [https://archive.is/vp0rb]