PhD in the University of Edinburgh working on summarization. Interested in cognitive models for reading comprehension.

Edinburgh
Joined August 2012
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!
2
4
1
6
167
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
1
5
13
969
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…
1
4
9
466
Also Internship Positions for the London NLP Team are open year-round. Apply below: huaweiuk.teamtailor.com/jobs…
1
3
11
851
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…
8
16
1,841
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 :)
4
7
2
23
5,960
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
10
24
4,605
📢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
1
2
15
630
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 🧵
42
375
30
2,339
1,427,774
Ronald Cardenas retweeted
Upcoming #NLProc conferences (2/2): - EACL 2023 held online - ACL 2023 held in Toronto Hope to see many of you there 🙂
1
8
4
55
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.
3
8
The monitors team of LxMLS2022! (plus @MarianaSCAlmei2 from org.)
2
7
41
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)
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
3
5
4
38
Grid search on a heldout development set was used to set the learning rate, dropout rate, momentum, weight decay, network architecture, type of nonlinea
What are the technical terms, in your field, for 'dunno'? In medicine there's 'idoeopathic' In archeology/anthropology there's 'ritual purposes' How do you professionally term 'we haven't got a clue'?
1
10
59
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)
10
183
15
541
Ronald Cardenas retweeted
Exclusive picture of the only fan with the correct bracket prediction. #TI8
17
117
10
801