{"batchcomplete":"","continue":{"lecontinue":"20251118065252|1405","continue":"-||"},"query":{"logevents":[{"logid":1415,"ns":0,"title":"W211/M25Shan","pageid":697,"logpage":697,"revid":2870,"params":{},"type":"create","action":"create","user":"Jacques","timestamp":"2025-12-11T13:40:31Z","comment":"Created page with \"Yafei Yang and Chung-chieh Shan  Developing quantum programs requires not only running them on quantum hardware but also simulating them on classical hardware. Because the semantics of a quantum program can be defined in terms of complex state vectors, it can in principle be simulated using any implementation of probabilistic or weighted programming that supports complex or at least negative weights. In this study, we compile a high-level quantum programming language to...\""},{"logid":1414,"ns":6,"title":"File:WG211 M25 Shan.pdf","pageid":696,"logpage":696,"revid":2869,"params":{},"type":"create","action":"create","user":"Jacques","timestamp":"2025-12-10T14:29:43Z","comment":""},{"logid":1413,"ns":6,"title":"File:WG211 M25 Shan.pdf","pageid":696,"logpage":696,"revid":2869,"params":{"img_sha1":"m9c2atgfty6kvmkrdcqqetpf4u9j6rq","img_timestamp":"2025-12-10T14:29:42Z"},"type":"upload","action":"upload","user":"Jacques","timestamp":"2025-12-10T14:29:42Z","comment":""},{"logid":1412,"ns":6,"title":"File:WG211 M25 Group Photo.jpg","pageid":695,"logpage":695,"revid":2867,"params":{},"type":"create","action":"create","user":"Jacques","timestamp":"2025-12-10T14:26:28Z","comment":"Pictures of all the people who attended this meeting"},{"logid":1411,"ns":6,"title":"File:WG211 M25 Group Photo.jpg","pageid":695,"logpage":695,"revid":2867,"params":{"img_sha1":"6ljtaeqn1nsidfgv5a8dzxrtjr7h0ej","img_timestamp":"2025-12-10T14:26:28Z"},"type":"upload","action":"upload","user":"Jacques","timestamp":"2025-12-10T14:26:28Z","comment":"Pictures of all the people who attended this meeting"},{"logid":1410,"ns":6,"title":"File:Stellenbosch.pdf","pageid":694,"logpage":694,"revid":2850,"params":{},"type":"create","action":"create","user":"Eric","timestamp":"2025-12-01T08:17:39Z","comment":""},{"logid":1409,"ns":6,"title":"File:Stellenbosch.pdf","pageid":694,"logpage":694,"revid":2850,"params":{"img_sha1":"6ohvupepay7aeids571ihgziw1j95po","img_timestamp":"2025-12-01T08:17:39Z"},"type":"upload","action":"upload","user":"Eric","timestamp":"2025-12-01T08:17:39Z","comment":""},{"logid":1408,"ns":0,"title":"WG211/M25Barke","pageid":693,"logpage":693,"revid":2845,"params":{},"type":"create","action":"create","user":"Jacques","timestamp":"2025-11-21T19:13:13Z","comment":"Created page with \"Toward Trustworthy LLM Generation: From Verifiable Proofs to Reliable Agents  Verifiable programming provides a concrete foundation for trustworthy LLM generation. This talk introduces DeepProof-32B, a 32-billion-parameter reasoning model designed for program verification and trained with reinforcement learning from verifiable rewards, achieving state-of-the-art performance among open models. The first part distills lessons from building models that can reason about thei...\""},{"logid":1407,"ns":0,"title":"WG211/M25Steuwer","pageid":692,"logpage":692,"revid":2842,"params":{},"type":"create","action":"create","user":"Jacques","timestamp":"2025-11-19T16:47:03Z","comment":"Created page with \"E-Graphs are a core data structure used in automatic reasoning and program optimization. They space-efficiently represent a set of equivalent terms.  However, representing programs with bindings in e-graphs using existing techniques quickly defeats the efficiency purpose in many practical applications, as the e-graph represents alpha-equivalent terms many times.  In this talk, I am going to present our work on Slotted E-Graphs that augment E-Graphs with a build-in notion...\""},{"logid":1406,"ns":2,"title":"User:Peoadmin","pageid":0,"logpage":0,"params":{"oldgroups":[],"newgroups":["sysop","bureaucrat","interface-admin"],"oldmetadata":[],"newmetadata":[{"group":"sysop","expiry":"infinity"},{"group":"bureaucrat","expiry":"infinity"},{"group":"interface-admin","expiry":"infinity"}]},"type":"rights","action":"rights","user":"Maintenance script","timestamp":"2025-11-18T06:52:52Z","comment":""}]}}