🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Wow - was not expecting such a big turnout! Over 300 registrations, with over 200 aiming to join online. Excited to share our vision with you! Register to see the schedule - this week, we meet tomorrow and Wednesday.

The question of whether LLMs can reason is, in many ways, the wrong question. The more interesting question is whether they are limited to memorization / interpolative retrieval, or whether they can adapt to novelty beyond what they know. (They can't, at least until you start

Stoked to head to #FOMMS 2024! Really excited to connect with the molecular-simulation community FOMMS

Interested in LLMs and Lean? Check out LLMLean, a tool for using LLMs to suggest proof steps and complete proofs in Lean: github.com/cmu-l3/llmlean Here's an example of using LLMLean with GPT-4o to solve problems from Mathematics in Lean:

Check out this excellent video on proving the continuity of various functions using Lean 4. It's a fantastic introduction to Lean, and its tactic framework for proof automation. youtube.com/watch?v=BZjAgh…

We're halfway through the course! So far, we've introduced logic and proofs for scientists and engineers. This week we pivot to writing programs in Lean, before bringing everything together. It's not too late to register!

a collection of set theorists who are so excited that they cannot contain themselves

ok here's my full review of this paper. It's easy and short, you should just read it if you want to. arxiv.org/abs/2409.04109

The 24-25 ChemEng faculty list is heating up! Check out the current 33 tenure-track and 11 teaching-track faculty openings. docs.google.com/spreadsheets/d…

Slides for my recent talk on: "Reasoning with inference-time compute" wellecks.com/data/welleck20… Papers: - Lean-STaR: arxiv.org/abs/2407.10040 - Easy-to-hard: arxiv.org/abs/2403.09472 - Compute-optimal inference: arxiv.org/abs/2408.00724 - Meta-generation: arxiv.org/abs/2406.16838

Our department is hiring a TT faculty member! Come work with us! We'll also be AIChE if you want to connect. cbee.umbc.edu/facultysearch/

ATOMS lab (Tyler R. Josephson (atomslab.bsky.social)) at UMBC is looking for #PhD students to start #spring 2025 #graduateschool Learn more at the ATOMS lab website atomslab.github.io #Chemicalengineering #AI #LLM #UMBCEngineering Tyler R. Josephson (atomslab.bsky.social) is attending #AICHE2024. Reach out if interested

ideal gas station

@LNuzhna What is science if not chains of abstractions? The process of explaining the physical world in words and numbers is exactly why it’s so hard, and so rewarding.

I had a great time! Thanks for your hospitality!