Haitham Bou Ammar (@hbouammar) 's Twitter Profile
Haitham Bou Ammar

@hbouammar

RL team leader @Huawei R&D UK H. Assistant Professor @UCL | Ex-@Princeton, Upenn (thou/thine)

ID: 1364749022

calendar_today19-04-2013 15:51:58

2,2K Tweet

3,3K Followers

367 Following

Csaba Szepesvari (@csabaszepesvari) 's Twitter Profile Photo

amathr.org/prizes/aiprize/ The Association for Mathematic Research announces "Prize in the Mathematics of Artificial Intelligence". I'm in the selection committee. The goal is to inspire young people to work on the intersection of AI and maths. Nominations to [email protected]

amathr.org/prizes/aiprize/
The Association for Mathematic Research announces "Prize in the Mathematics of Artificial Intelligence". I'm in the selection committee. The goal is to inspire young people to work on the intersection of AI and maths. Nominations to aiprize@amathr.org
Dimitrios Kanoulas (@dkanou) 's Twitter Profile Photo

Call for a 4y PhD Studentship at Archimedes AI Center at Athens/Greece (archimedesai.gr/en). Deadline: 20/09/2024 Topic: legged robot environment inspection in the wild via environment cognition Apply: athenarc.gr/el/gd.402.arch… Contact for questions: [email protected]

Haitham Bou Ammar (@hbouammar) 's Twitter Profile Photo

I find this idea of using Binary search to determine where the #LLMs made the first mistake very interesting. From this paper: arxiv.org/pdf/2406.06592 by Google DeepMind

I find this idea of using Binary search to determine where the #LLMs made the first mistake very interesting. 

From this paper: arxiv.org/pdf/2406.06592 by <a href="/GoogleDeepMind/">Google DeepMind</a>
Haitham Bou Ammar (@hbouammar) 's Twitter Profile Photo

Alright, so you know Q* 🍓 will be about planning, or that is (at least) what people say! #LLMs #AI #MachineLearning A fantastic planning tool that has proven very effective is AlphaZero from Google DeepMind. AlphaZero extends MCTS (Monte-Carlo Tree Search) to support deep-net

Alright, so you know Q* 🍓 will be about planning, or that is (at least) what people say! #LLMs #AI #MachineLearning 

A fantastic planning tool that has proven very effective is AlphaZero from <a href="/GoogleDeepMind/">Google DeepMind</a>. AlphaZero extends MCTS (Monte-Carlo Tree Search) to support deep-net
Haitham Bou Ammar (@hbouammar) 's Twitter Profile Photo

Hey #OpenAI OpenAI, did you fix this problem in your new model? I think I just hacked your #GPT4o model to generate rubbish :P That is supposed to be python code btw :D

Hey #OpenAI <a href="/OpenAI/">OpenAI</a>, did you fix this problem in your new model? I think I just hacked your #GPT4o model to generate rubbish :P 

That is supposed to be python code btw :D
Haitham Bou Ammar (@hbouammar) 's Twitter Profile Photo

If you have ever worked with #GaussianProcesses, you know that designing kernels is not that simple. It requires extensive prior knowledge and effort. Over the past couple of days, I have been toying with the idea of getting #GPT4 to write kernel code for you after providing

If you have ever worked with #GaussianProcesses, you know that designing kernels is not that simple. It requires extensive prior knowledge and effort. 

Over the past couple of days, I have been toying with the idea of getting #GPT4 to write kernel code for you after providing
Haitham Bou Ammar (@hbouammar) 's Twitter Profile Photo

I am so sorry but the inference of the #GPT is soooo slow OpenAI is it my net or is it supposed to do be like that given it does a lot of planning?

Haitham Bou Ammar (@hbouammar) 's Twitter Profile Photo

Watch o1-preview inference speed versus #GPT4o. Whoops #AI #MachineLearning Same code, same everything. Just the model has changed.

Haitham Bou Ammar (@hbouammar) 's Twitter Profile Photo

i proposed a year ago to do mcts on llms but using David Silver's MCTSNets Google DeepMind please get those to work well, search becomes a forward pass and we save all the waiting time of OpenAI #ai

Haitham Bou Ammar (@hbouammar) 's Twitter Profile Photo

I tested #GPT4o versus #o1-preview on a set of combinatorial math problems ranging from easy to hard. The easy ones were things you see in high school (e.g., count this, count that, and so on). The hard problems included tough combinatorial math problems from mathematics

I tested #GPT4o versus #o1-preview on a set of combinatorial math problems ranging from easy to hard. The easy ones were things you see in high school (e.g., count this, count that, and so on). The hard problems included tough combinatorial math problems from mathematics
Haitham Bou Ammar (@hbouammar) 's Twitter Profile Photo

OK! Waw: Putnam 2019: In the triangle 4ABC, let G be the centroid, and let I be the centre of the inscribed circle. Let α and β be the angles at the vertices A and B, respectively. Suppose that the segment IG is parallel to AB and that β = 2 tan^{−1}(1/3). Find α #GPTo1 got

OK! Waw: 

Putnam 2019: In the triangle 4ABC, let G be the centroid, and let I be the centre of the inscribed circle. Let α and β be the angles at the vertices A and B, respectively. Suppose that the segment IG is parallel to AB and that β = 2 tan^{−1}(1/3). Find α 

#GPTo1 got
Gerasimos Lampouras (@glampouras_nlp) 's Twitter Profile Photo

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…