purplecat: An open book with a quill pen and a lamp. (General:Academia)
[personal profile] purplecat
I mentioned a while back that I was helping to supervise a PhD student who was using various symbolic AI tools to validate the output from LLMs. At the time he was using a version of Prolog, but has since switched to using a theorem proving tool called Isabell.

He recently won best paper award at Empirical Methods in Natural Language Processing (EMNLP) for his paper about this which can be found at https://aclanthology.org/2024.emnlp-main.172

(no subject)

Date: 2024-11-28 02:59 am (UTC)
vivdunstan: Part of own photo taken in local university botanic gardens. Tree trunks rise atmospherically, throwing shadows from the sun on the ground. (Default)
From: [personal profile] vivdunstan
I think Larry is retiring now. I’m friends on Facebook with his wife Elena, and she posted pics recently from a leaving do. Though whether he retires fully is another matter.
Edited Date: 2024-11-28 03:00 am (UTC)

(no subject)

Date: 2024-11-29 01:46 am (UTC)
a_cubed: caricature (Default)
From: [personal profile] a_cubed
Larry actually has a Wikipedia page. He's now 68 so is in the retirement bracket. Yes, he may well stay emeritus and keep doing research and some supervision.

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

May 2025

S M T W T F S
    1 2 3
4 56789 10
111213 141516 17
18192021222324
25 262728293031

Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags