Ian Miguel

Professor of Computer Science, University of St Andrews

[J. AI Research-JAIR @JAIR_Editor]

New Article: "Frugal Algorithm Selection for Combinatorial Search" by Erdem Kus, Özgür Akgün, Nguyen Dang, Ian Miguel, Lars Kotthoff https://t.co/eMjmYTKDfe

[Özgür Akgün @ozgurakgun]

New paper out, in which we explore methods for cutting down how much training data is required for algorithm selection.

[Özgür Akgün @ozgurakgun]

Anyone interested in working on developing an efficient compiler for constraint programming? In Rust! We have an exciting project with a lot activity and several opportunities to contribute in many ways. Get in touch!

Funded PhD studentships: https://t.co/V68Yp9fXA4

[Ian Miguel @IanJMiguel]

@johnpaul_newman We must have nearly bumped into you today :) Walked the river path from Karlín to Libeň.

[Ian Miguel @IanJMiguel]

@rao2z But then, if accepted, the author list will not accurately reflect authorship?

[Ian Miguel @IanJMiguel]

@thismachinekil2 They did in Vienna too :)

[Ian Miguel @IanJMiguel]

@colin_fraser We’re doing this as much as possible; it’s worth the investment.

[Ian Miguel @IanJMiguel]

@drhingram Takes some finding :)

[Ian Miguel @IanJMiguel]

@johnpaul_newman The view is worth it though :)

[Nicki Hitchcott @RwandanSOChange]

St Leonards Digital Education Scholarship available for our exciting new online Global #DigitalHumanities postgraduate programme @StAModLangs @univofstandrews (January 2025 entry) https://t.co/9Bx8fvbaNG

[Ian Miguel @IanJMiguel]

@Ian_Willoughby Fantastic film.

[Ian Miguel @IanJMiguel]

@johnpaul_newman I love to visit Vyšehrad :)

[Özgür Akgün @ozgurakgun]

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

[Ian Miguel @IanJMiguel]

@ozgurakgun Alas, Conjure hasn’t had 60 billion dollars invested in it.

[Ian Miguel @IanJMiguel]

@d_letham I’m sorry Davie, I was unable to avoid it either

[Ian Miguel @IanJMiguel]

@ozgurakgun Luckily I am too far away to see :)

[Ian Miguel @IanJMiguel]

@johnpaul_newman Bit of a comedown from Ještěd :)

[Özgür Akgün @ozgurakgun]

Read our paper here https://t.co/iT9QkVR8Pz

[Ian Miguel @IanJMiguel]

@Slippery_Jack Superhuman restraint :)