Nickil Maveli

PhD student in #NLProc @Edin_CDT_NLP. Working on code generation using LLMs.

[Nickil Maveli @nickilmaveli]

A bit of a late announcement! I am thrilled to let you all know that I will soon be starting my PhD at @Edin_CDT_NLP and working alongside Shay Cohen and @tetraduzione on neuro-symbolic learning and reasoning approaches. I am looking forward to an exciting journey ahead! 🚀

[Fazl Barez @FazlBarez]

Hiring!

Our Technical Safety and Governance (TSG) Lab at Oxford is hiring a Senior Researcher to work on interpretability, evaluations and AI safety for continually learning systems.

Please apply by Sep 22 and share with anyone who might be interested.

DM/email with questions!

[Joshua Ong @joshuaongg21]

🚀🚀 Introducing Pythagoras-Prover 🚀🚀

🔹 The smallest theorem prover to date – Pythagoras-Prover-4B
🔹 The first proof-of-concept diffusion theorem proving model – Pythagoras-Prover-Diffusion 4B

With efficient LoRA training and an 8192-token context length, Pythagoras-Prover achieves strong MiniF2F results with far smaller models.

🏆 MiniF2F
- Pythagoras-Prover-4B achieves 86.1% Pass@32, outperforming DeepSeek-Prover-V2-671B.
- Pythagoras-Prover-32B achieves 89.8% Pass@32 and 92.6% Pass@2024, achieving the best MiniF2F result reported to date.

🌏Website: https://t.co/uFmBLA2sJS
📝 arXiv: https://t.co/rdLlr3cwY5
🤖 Pythagoras-Prover-4B: https://t.co/fXziEcaDxB

🔐 Our models, data, and the training pipeline will be released (gradually) soon.

A huge thank to my amazing collaborators: @zhengzhao97 @CMihaelaStoian Qiyuan Xu, @haonanlp @WendaLi8 Shay Cohen @e_giunchiglia

[Pasquale Minervini @PMinervini]

Bam! Massive congrats @mindjimmy, @zhaoyuhitsz et al. 🚀🚀🚀 The @emnlpmeeting paper is available here: https://t.co/3CnoP81US5

[Leon Derczynski ⚒️☁️🏔️🌲 @LeonDerczynski]

machine learning researchers learn to optimise their own best paper rate through collusion and other unregulated mechanisms

https://t.co/GsZxab8jCG

[Nickil Maveli @nickilmaveli]

@Edin_CDT_NLP @tetraduzione I want to thank everyone who has contributed to helping me pursue this opportunity, especially my mentors: @ggananth, @TorrentTiago, and Shay Cohen.

[Nickil Maveli @nickilmaveli]

A bit of a late announcement! I am thrilled to let you all know that I will soon be starting my PhD at @Edin_CDT_NLP and working alongside Shay Cohen and @tetraduzione on neuro-symbolic learning and reasoning approaches. I am looking forward to an exciting journey ahead! 🚀

[Nickil Maveli @nickilmaveli]

@max_nlp @DeepMind @huangposen @Johannes_Welbl Congratulations Max!! 🙂

[Nickil Maveli @nickilmaveli]

Code: https://t.co/TPdmhsXHKu

[Nickil Maveli @nickilmaveli]

Our paper accepted to the Findings of ACL. Code will be out soon. Thank you @ak92501 for sharing!

[AK @_akhaliq]

Co-training an Unsupervised Constituency Parser with Weak Supervision
abs: https://t.co/P6JcSt4sZd

[Nickil Maveli @nickilmaveli]

Gradio Demo: https://t.co/aqWqlWVcGe.

[Michael Black @Michael_J_Black]

Failure is the dance partner of success. It can feel insurmountable at times. Here is my story of academic failures -- my anti-CV if you will. I hope people find it useful. https://t.co/ZJfG8VKCY0

[Nickil Maveli @nickilmaveli]

TL;DR: We use semi-supervised and weakly-supervised learning techniques to induce latent trees and achieve state-of-the-art results on three treebanks.

[Nickil Maveli @nickilmaveli]

Delighted to announce that our paper (w/ Shay Cohen) titled "Co-training an Unsupervised Constituency Parser with Weak Supervision" has been accepted at ACL 2022 Findings. #NLProc #ACL2022

[César A. Hidalgo @cesifoti]

Want to read an insane tenure denial story? I was denied tenure at MIT in 2018. I was the only Hispanic faculty at my department, had 13k+ citations, 2 books, & papers in Nature, Science, & PNAS. I was never given a reason & the only letter I got told me to check the website./1🧵

[Nickil Maveli @nickilmaveli]

Wordle 214 4/6

🟨⬜⬜⬜⬜
🟩🟨⬜⬜⬜
🟩⬜🟩🟩🟩
🟩🟩🟩🟩🟩

[Nickil Maveli @nickilmaveli]

Wordle 213 5/6

⬜⬜⬜⬜🟨
⬜⬜⬜⬜⬜
⬜⬜🟨⬜🟩
🟨🟨⬜⬜🟩
🟩🟩🟩🟩🟩

[Nickil Maveli @nickilmaveli]

Thoroughly enjoyed and had loads of fun presenting the talk (based on my GSoC project) with @TorrentTiago at the IMCC seminar @UniofOxford!!

[Nickil Maveli @nickilmaveli]

@complingy @TorrentTiago @FrameNetBrasil Congratulations, Tiago! 👏

[Nickil Maveli @nickilmaveli]

@kalpeshk2011 @MohitIyyer @UMass_NLP @umasscs Awesome news! Congratulations! 🙂

[Nickil Maveli @nickilmaveli]

@chrisgamble88 Hi Chris, I am interested in this position. Let me know if you see a fit. If you do, could you open your DMs, so that we could chat more about this opportunity?