Ronald Cardenas

New preprint on Formal Math Autoformalization \w Jasivan Sivakumar, @pnborchert, @ronaldca2: lnkd.in/edrMByDf Formal math reasoning of today's LLMs is weaker than we think. Benchmarks often give the solution upfront. In reality, conjecturing is a critical reasoning step!

1) Delighted to introduce our latest work🥳 (under review) 🙃 🔗arxiv.org/pdf/2502.15572 🔗 We propose **DReSD: Dense Retrieval for Speculative Decoding** with @HuiyinXue and @glampouras_NLP

Our London NLP team is exploring some exciting and ambitious research directions on LLM efficiency, inference and reasoning. Join us and help us realize them! Take a look at our Research Engineer listing for more details :) huaweiuk.teamtailor.com/jobs/4209412-r…

Also Internship Positions for the London NLP Team are open year-round. Apply below: huaweiuk.teamtailor.com/jobs/4209323-r…

Research Scientist (permanent) positions just opened in our NLP team in London - Huawei Noah's Ark Lab! Looking for experienced researchers to help us tackle some interesting (and persistent) questions :) Take a look and apply if interested: huaweiuk.teamtailor.com/jobs/4981873-r…

Delighted to present our #naacl2024 paper, #HumanRankEval: Automatic Evaluation of #LMs as Conversational Assistants with @glampouras_NLP and @iiacobacNLP providing fast, reliable and private evaluation of instruction-tuned #LLMs. A truly new eval paradigm, no #gpt4-as-a-judge :)

@Amrkeleg @jparag123 @Edin_CDT_NLP Thanks 😁!

@jparag123 @ronaldca2 @Edin_CDT_NLP Congrats @ronaldca2 🎉🎉 All the best with your viva, and your next steps!

Cheers to ✨ @ronaldca2 ✨for submitting his thesis! Congratulations 🥳🥳✨⭐️ @Edin_CDT_NLP

Just imagine, you spent the day doing some ML math and algorithms, then go with like minded people and have a chat on this spot watching the sunset 🌇. How, you ask me? Apply for the Tropical Probabilistic AI School 2024!

Code: github.com/ronaldahmed/sc… Data: huggingface.co/datasets/ronal…

📢Excited to anounce that our latest EMNLP paper is now on arXiv. We tackle Scientific Journalism a task that involves summarization, text simplication, and style transfer. Thanks to my amazing collaborators: @yufanghou @BingshengY @dakuowang Paper: arxiv.org/abs/2310.15077

The first half of the week in AI has been INSANE 🤯 Wendy's Drive-Thru AI AI to detect Parkinson's Meta: Multi-Sensory Vision Palantir Stock Moons on AI OpenAI: New Text to Shapes Microsoft & AMD Team on AI Google I/O: TONS of New AI features Here's what you need to know 🧵

Upcoming #NLProc conferences (2/2): - EACL 2023 held online - ACL 2023 held in Toronto Hope to see many of you there 🙂

A pleasure to organize #LxMLS2022 . Too bad that @tapairportugal just canceled my flight to NYC and booked me one in *5 days*. We had to look for the hotel ourselves (TAP ran out of hotel partners 🤔). Luggage back? Ofc not! 6h after canceling was not enough time to recover it.

The monitors team of LxMLS2022! (plus @MarianaSCAlmei2 from org.)

The University of Edinburgh @InfAtEd is hiring a lecturer or reader (approx. assistant/associate prof) in Natural Language Processing. Application deadline is 23 August 2021. Details at elxw.fa.em3.oraclecloud.com/hcmUI/Candidat…

please circulate this information. Thanks!

the amazing @amitmoryossef provides a workaround to the slideslive inability to change video speed issue. a bit hacky, but works! (unpack the zip to some folder, open chrome extensions, choose dev mode, load unpacked, point to folder. the speed is controlled by editing the js)

Grid search on a heldout development set was used to set the learning rate, dropout rate, momentum, weight decay, network architecture, type of nonlinea

He's making a list He's testing it twice SELECT * FROM users WHERE behavior="nice" SQL-clause is coming To town. (credit @leeflower)

Exclusive picture of the only fan with the correct bracket prediction. #TI8