Ronald Cardenas retweeted
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!
Ronald Cardenas retweeted
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
Ronald Cardenas retweeted
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…
Ronald Cardenas retweeted
Also Internship Positions for the London NLP Team are open year-round. Apply below:
huaweiuk.teamtailor.com/jobs…
Ronald Cardenas retweeted
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…
Ronald Cardenas retweeted
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 :)
Ronald Cardenas retweeted
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! – at Rio de Janeiro, Brazil
ProbAI goes beyond Nordics! Apply now to the Tropical Probabilistic AI School 2024 in Rio de Janeiro 🇧🇷, 29 Jan – 2 Feb. tropical.probabilistic.ai 🌴 #ProbAI #ProbabilisticAI
📢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
Ronald Cardenas retweeted
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 🧵
Ronald Cardenas retweeted
Upcoming #NLProc conferences (2/2):
- EACL 2023 held online
- ACL 2023 held in Toronto
Hope to see many of you there 🙂
Ronald Cardenas retweeted
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.
Ronald Cardenas retweeted
The monitors team of LxMLS2022! (plus @MarianaSCAlmei2 from org.)
Ronald Cardenas retweeted
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/…
Ronald Cardenas retweeted
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)
The iframe is tricky, but you can just use a simple chrome extension:
drive.google.com/file/d/1sYx…
(Go to extensions, load unpacked extension)
You can then improve the JS however you see fit, although I agree @slideslive should support this
Ronald Cardenas retweeted
Grid search on a heldout development set was used to set the learning rate, dropout rate, momentum, weight decay, network architecture, type of nonlinea
Ronald Cardenas retweeted
He's making a list
He's testing it twice
SELECT * FROM users WHERE
behavior="nice"
SQL-clause is coming
To town. (credit @leeflower)
Ronald Cardenas retweeted
Exclusive picture of the only fan with the correct bracket prediction. #TI8
I have explored 1.5% of the world #mytravelmap mytravelmap.tk/compare/10209…


























