I've tried ChatGPT o1-preview, the one that's supposed to be good at reasoning, on a simple reasoning task. The SEND+MORE=MONEY problem and a few other cryptarithmetic puzzles.
https://t.co/uDGUex80DZ
I like the sound of Quarto markdown's promise - a human-readable, single text file source which is published to docx, html,beamer.... will it save hours of banging one's head against latex intricacies or M$ Office frustrations? Or is that too optimistic? https://t.co/9mt2cnVYDq
Some fascinating insights into the world of robotics and mining. It was lovely to meet so many great people. Massive well done especially to Arjun and Philippa after all the hard work for Team 3. And of course to the organisers, espcially @PaulinaLewiska3 and @VJHodge
UAV Hackathon 2023 Safety assurance for drone autonomy - finals happened last week!
Congrats to all of the @UoY_CS -@AAIP_York and @oxfordrobots teams - you produced amazing work!
Big thank you to @AAIP_York and @UoYISA for all the help with organizing!
https://t.co/ajVHTsGDia
Massive thank you to my supervisors and my examiners. Today I passed my #PhD viva. What a crazy four years it has been. Very blessed by this opportunity.
A nice boost just ahead of the upcoming viva...
I'm pleased to have our work published in the Constraints Journal; this is my debut first-author journal paper.
https://t.co/oRrpuksn1o
The University of York will be the home of a new Doctoral Training Centre in Lifelong Safety Assurance of AI-enabled Autonomous Systems, training the next generation of AI researchers and innovators 🤖🧠
Find out how #YorkResearch is driving change: https://t.co/GxnB0wz5oC
After 1000+ days of working towards a #PhD, the thesis not quite written up, but at least I can bask in the knowledge of the meaning of 'ze zijn zijn zoons'
Have a go at today's #summersolver This interesting task was taken from Points of Departure, a book compiled by a group of ATM members. https://t.co/ctViARULit