MVA+IASD LLM for code and proof

Discord server.\nThe official website gathers documents (slides, recordings).

\n","classNames":"hf-sanitized hf-sanitized-gZKE4uaMkQT-ZtmZd64i2"},"users":[{"_id":"64897d743262c9f1566efb22","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/ycQZCWc-Z7qhdFMbQp9az.png","isPro":true,"fullname":"Nathanaël Fijalkow","user":"nathanael-fijalkow","type":"user"},{"_id":"664c5e3ed13579bff431f4c8","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/664c5e3ed13579bff431f4c8/OSwdexHdSybqB4KJd-E5G.png","isPro":true,"fullname":"Dhia Garbaya","user":"Dhia-GB","type":"user"},{"_id":"66a0e4b0519eb712c6a257c5","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/66a0e4b0519eb712c6a257c5/SffYWT0cYl-LSWZTK1N1t.jpeg","isPro":false,"fullname":"Younes Boukacem","user":"younadi","type":"user"},{"_id":"695bd7e9d9ca8cbf784f34bd","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/695bd7e9d9ca8cbf784f34bd/I1IcGxQ7pASCVTUWeFlrj.jpeg","isPro":true,"fullname":"Iliass Khoutaibi","user":"KHOUTAIBI","type":"user"},{"_id":"68711275b41c4c10dcf44669","avatarUrl":"/avatars/b066f2c5f5b32a41953165cc81bd8781.svg","isPro":true,"fullname":"Juki Ikuj","user":"Juki33","type":"user"},{"_id":"66519d4dac73f7759f81936f","avatarUrl":"/avatars/27331baf6701393d3d0e03f2cb04e082.svg","isPro":true,"fullname":"Iliass Lasri","user":"iliasslasri","type":"user"},{"_id":"680764c9e9ea8f2206ed5dc4","avatarUrl":"/avatars/4693e278333bf6ebae8145450d666e75.svg","isPro":false,"fullname":"Tristan MARTIN","user":"tristanmrt","type":"user"},{"_id":"6585b806810843d8d2e5591e","avatarUrl":"/avatars/f56bc258c68b05da521ecb208b346be9.svg","isPro":true,"fullname":"Mahdi Salahshour","user":"Mahdi-Salahshour","type":"user"},{"_id":"66bfaeb1d9a797412285f24e","avatarUrl":"/avatars/f27efb25085262d4316aa5e343e1aa99.svg","isPro":false,"fullname":"Tanre","user":"Mtanre","type":"user"},{"_id":"695bd93a2238fbb3db40290b","avatarUrl":"/avatars/3c502a359aeba0758550b573bec104e7.svg","isPro":true,"fullname":"Tanguy Azéma","user":"Tanguy107","type":"user"},{"_id":"663654a6484e5c9a2a36f82e","avatarUrl":"/avatars/5e19ae4bb4b2e88aafca6258877b51b4.svg","isPro":false,"fullname":"Daniel Akbarinia","user":"dani34000","type":"user"},{"_id":"6934070133f50c64900c075c","avatarUrl":"/avatars/c82e09a55fbc5961edffd278e8e0dfad.svg","isPro":true,"fullname":"Willy Vo","user":"Drilly93","type":"user"},{"_id":"6787079673e88336f274ccf2","avatarUrl":"/avatars/4a91ce2f1a7c1f34dd18471b639488e2.svg","isPro":true,"fullname":"steak magnan","user":"steakmagnan","type":"user"},{"_id":"695bda3c75ab359fcdedab72","avatarUrl":"/avatars/87acbf1ae6547d2d6144aabc12e7ed40.svg","isPro":true,"fullname":"Clément Rouvroy","user":"crvrfr","type":"user"},{"_id":"65bce8265604c1d38309e3d7","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/noauth/7_JdljgybU6AWglzwMr93.png","isPro":true,"fullname":"Kshitij Ambilduke","user":"KshitijAmbilduke","type":"user"},{"_id":"6686a300e44c9931f335dd7b","avatarUrl":"/avatars/6785920fb09791c6f7b7b983eeae9c58.svg","isPro":true,"fullname":"Corentin Caris","user":"corentincaris","type":"user"},{"_id":"6930bc27d9006d70bf94033f","avatarUrl":"/avatars/2eceb415eaf267fc666b189617f357f5.svg","isPro":false,"fullname":"ruben ifrah","user":"rubenifrah","type":"user"},{"_id":"695bdb750375d2e154d5d359","avatarUrl":"/avatars/e804276280873f6664a75d2a2d94323e.svg","isPro":true,"fullname":"Sergio Garcia Castro","user":"sergarciaca","type":"user"},{"_id":"63c1d1bc70b05b9663778d00","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/63c1d1bc70b05b9663778d00/uan69vsP1lSHcVbLWCwZe.jpeg","isPro":false,"fullname":"marc lelarge","user":"marclelarge","type":"user"},{"_id":"655cbce74f896c9b4a54fcdc","avatarUrl":"/avatars/b594c82c8ab844f726f4825045e25ef2.svg","isPro":true,"fullname":"Samuel Laya","user":"smsk-01","type":"user"},{"_id":"695bdd45bb4c8f02b3e5ca85","avatarUrl":"/avatars/e2072dbab7764ba201d38bc108337f97.svg","isPro":true,"fullname":"Giulia Amar","user":"Giu0804","type":"user"},{"_id":"65fb0984144f8b62d8f15e77","avatarUrl":"/avatars/50887d1f93cb3b47583a26e7ecb79b3a.svg","isPro":true,"fullname":"thandre10","user":"thandre10","type":"user"},{"_id":"66475df6f425b75e9bcb2af3","avatarUrl":"/avatars/185179490f5a08478c94c05580982810.svg","isPro":true,"fullname":"Rebecca El Chidiac","user":"rebeccaelch","type":"user"},{"_id":"695bddebad02296f83a14069","avatarUrl":"/avatars/7b71d04f5ad19707626eb158635bae2f.svg","isPro":false,"fullname":"Antoine Groudiev","user":"agroudiev","type":"user"},{"_id":"674b5d83937bbd3395f75d0a","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/674b5d83937bbd3395f75d0a/1DqA00U4JCAi9ecDTaCDs.png","isPro":false,"fullname":"Joey David","user":"j0eyd","type":"user"},{"_id":"695be0b38b3880e79f01ef98","avatarUrl":"/avatars/4608f337cbecaa672ae5fcf0a4f572c2.svg","isPro":true,"fullname":"Martin Cuingnet","user":"mcngnt","type":"user"},{"_id":"695be0b18ebd0a11bb79cfb3","avatarUrl":"/avatars/c3a26ad0b5bf3333313df1cd2db3397e.svg","isPro":false,"fullname":"Emett Haddad","user":"EmettHM","type":"user"},{"_id":"689f9c0c6108789cbfa6ceca","avatarUrl":"/avatars/ebe67dfff50318ead6d85560e93447c1.svg","isPro":true,"fullname":"Malek Feki","user":"malekfeki14","type":"user"},{"_id":"643d6e2712a352fee90ad799","avatarUrl":"/avatars/a65e8f385e12c8fe24b9664893f1b802.svg","isPro":true,"fullname":"Filomène Roquefort","user":"filomeneroquefort","type":"user"},{"_id":"62bc1bccc41fcaa97b527624","avatarUrl":"/avatars/aaf28a390d35a63ec6fa3a707423c028.svg","isPro":true,"fullname":"Nguyễn Minh Đức","user":"minhdc","type":"user"},{"_id":"660445ccd425d45cd94ea351","avatarUrl":"/avatars/e4294e4d9aec4461ea6253a36c0f89ae.svg","isPro":true,"fullname":"Ayouba Deba","user":"aiglebricoleur","type":"user"},{"_id":"661ce20e6a2892cc279a7de0","avatarUrl":"/avatars/64e3d61297b2e0672bd651f8d9796234.svg","isPro":true,"fullname":"Lucas Mebille","user":"luluM","type":"user"},{"_id":"67bf5834a3726dcf40504479","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/67bf5834a3726dcf40504479/TUpOuL5-TjLbqkveX0i7A.jpeg","isPro":false,"fullname":"janis aiad","user":"janisaiad","type":"user"},{"_id":"66f1634ec6592d7516f8deb0","avatarUrl":"/avatars/085218573efbab1f857f6d4768576d91.svg","isPro":false,"fullname":"Louis Hayot","user":"louishayot","type":"user"},{"_id":"695be834a08daada56067d57","avatarUrl":"/avatars/b24a665969aadfc93355cf3d6488fcd9.svg","isPro":true,"fullname":"Yiwei LIU","user":"Yiwei6534","type":"user"},{"_id":"676082c5f5eb666935c15c44","avatarUrl":"/avatars/2009244025e044a759192c63396b3040.svg","isPro":true,"fullname":"Pierre-Gabriel Berlureau","user":"pgberlureau","type":"user"},{"_id":"667156a89ab144eb3ab43a22","avatarUrl":"/avatars/97faa2a83a71ef4a3026bc32685a5386.svg","isPro":true,"fullname":"Clarelec","user":"graug","type":"user"},{"_id":"695bf125d9abbebcb5eb9199","avatarUrl":"/avatars/2bebf47e75b8e54561f7918762be31e3.svg","isPro":false,"fullname":"Hugo Percot","user":"hugoper","type":"user"},{"_id":"65c7968799c7441888db2e9c","avatarUrl":"/avatars/44c461973035ff02dc2de74eb2a506cb.svg","isPro":true,"fullname":"Adrien Goldszal","user":"AdrienGoldszal","type":"user"},{"_id":"669da26efbc9ba8a1268b178","avatarUrl":"/avatars/74b5c52aaab50bf0d3183682ed7ed9fb.svg","isPro":false,"fullname":"AM","user":"Moinada","type":"user"},{"_id":"690e253b53bc7019285359e1","avatarUrl":"/avatars/fa81bbe9729fa987358ac40bd48c07bf.svg","isPro":false,"fullname":"Antoine Guillou","user":"AntoineGuillou","type":"user"},{"_id":"64403d88518271b0d1be4440","avatarUrl":"/avatars/ab3137d46028e3f26b0ef49fb9c76175.svg","isPro":true,"fullname":"Alexandre Duplessis","user":"alexandreduplessis","type":"user"},{"_id":"695bf943d9ca8cbf78520844","avatarUrl":"/avatars/fccca67ae92fb2e4ce7374d60e2e5259.svg","isPro":false,"fullname":"Paul Rongieras","user":"paulr21","type":"user"},{"_id":"661a622122ca1dfd3f398568","avatarUrl":"/avatars/b9c7b635e30c366922d1b81bf45267f9.svg","isPro":true,"fullname":"Noé Claudel ","user":"Chiensaucisse67","type":"user"},{"_id":"64035b35dbfbea2a053bde1c","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/1677941528735-noauth.jpeg","isPro":false,"fullname":"Adrien F.","user":"FAdrien","type":"user"},{"_id":"67a4d5541a6de167a214cf7d","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/no-auth/SpIGE0VAkQCtZ026GUyM3.png","isPro":false,"fullname":"Adrien G","user":"AdrienG00","type":"user"},{"_id":"695c0a384362c1fa9c77bccc","avatarUrl":"/avatars/509eeb5d8b94ffb9b1f35dec061e460e.svg","isPro":false,"fullname":"Anthony Boulos","user":"anthonyboulos","type":"user"},{"_id":"67d224850cc35f09f747561a","avatarUrl":"/avatars/a856baaf69600db62f1f64359e1b48d9.svg","isPro":false,"fullname":"Gloire LINVANI","user":"GloireLINVANI01","type":"user"},{"_id":"695c0f992099ab027794308b","avatarUrl":"/avatars/fe5695845805ce38822dec510fe6c62a.svg","isPro":true,"fullname":"Fatima Al Harake","user":"FatimaAlHarake","type":"user"},{"_id":"695c1c316282b27b5c6b7f8c","avatarUrl":"/avatars/3bcc1fdb03e6ac428601e46693f44200.svg","isPro":false,"fullname":"eya Daoud","user":"eyaa99","type":"user"},{"_id":"695c1ddfd89d0a685cf49b2c","avatarUrl":"/avatars/2b84b337b4bd00a2c10e71c8199a215a.svg","isPro":true,"fullname":"Tanguy","user":"Tanguy85","type":"user"},{"_id":"695c2494676bdf66dd3de521","avatarUrl":"/avatars/a8002f71a54e772513c1082c50db1370.svg","isPro":false,"fullname":"hugo Gaible","user":"MDaytek","type":"user"},{"_id":"669541d49b78bdb35996f760","avatarUrl":"/avatars/ab0229261e99cd6ca480eba1de2663ec.svg","isPro":true,"fullname":"Nemanja Vujadinovic","user":"vujadinovicn","type":"user"},{"_id":"695c2cb77b1f2700bfcedf83","avatarUrl":"/avatars/f036827bce90c5b6c25872765648e780.svg","isPro":true,"fullname":"Etienne Maugars","user":"etiennemaugars","type":"user"},{"_id":"695c2d11e18bcc8093300735","avatarUrl":"/avatars/f39494708a0839fde7febbd7105f4f95.svg","isPro":true,"fullname":"Stéphane Eilles-Chan Way","user":"stephecw","type":"user"},{"_id":"68a7a0d0c89c2fa8c4fdf927","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/no-auth/oukCyyhgSAsFLqdZjA8N7.png","isPro":true,"fullname":"Yacine Khalil","user":"Spirow","type":"user"},{"_id":"681b13c5c4cdfc64e6e8bd88","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/no-auth/qWgOibsJ3P_cOCKMWAQIX.png","isPro":false,"fullname":"Marius Henry","user":"marius-785","type":"user"},{"_id":"6732f422e77108f3ccb083ae","avatarUrl":"/avatars/34ec1cc9da69998b846d6b951b13cd45.svg","isPro":true,"fullname":"Mouhssine Rifaki","user":"rifaki","type":"user"},{"_id":"664216e41eb01eb3d845d3f5","avatarUrl":"/avatars/5b01c508a57d9d7472bee6ee1ff09eaa.svg","isPro":false,"fullname":"Maxime Muhlethaler","user":"Br0wks","type":"user"},{"_id":"67ec2c76b0a94c328f9c3c1a","avatarUrl":"/avatars/7ea20f480beb44a3c0f23a8487e91ebb.svg","isPro":false,"fullname":"zepeng chu","user":"CHU-ZP","type":"user"},{"_id":"695ccf96d89d0a685c0087ce","avatarUrl":"/avatars/0790eaecfb591a5d3207f0f63bea430f.svg","isPro":true,"fullname":"N. A.","user":"pultch","type":"user"},{"_id":"660fdb2bfde6f95bf92357dc","avatarUrl":"/avatars/aa35aa8b987e57c03197fe373bfb8dfb.svg","isPro":false,"fullname":"Emma Cabalé","user":"EmmajC","type":"user"},{"_id":"695cdb9b676bdf66dd49eadb","avatarUrl":"/avatars/97071de3e5966536ce13b28a6395a977.svg","isPro":false,"fullname":"YasmineDaouia","user":"Yas-da","type":"user"},{"_id":"6309b6f511f104451667fb0f","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/6309b6f511f104451667fb0f/j-dCYceZeHFqLBVt_EjYg.png","isPro":true,"fullname":"Duc Hai","user":"haiphamcse","type":"user"},{"_id":"673b4093cdc852f69bd68174","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/no-auth/eCjVZqyHpQ8-duWm1QqNb.png","isPro":false,"fullname":"Etienne Lefranc","user":"etienneLefranc","type":"user"},{"_id":"6665bd90339e311609b1a83c","avatarUrl":"/avatars/40d75cca47bf4e65fd35dbfa8a1c7fe1.svg","isPro":true,"fullname":"Oussama Zouhry","user":"OussamaleZ","type":"user"},{"_id":"695cecb63832500c6f2debfd","avatarUrl":"/avatars/06f4bfe9828b2e68a2cd61e4cb4e9dd5.svg","isPro":false,"fullname":"b","user":"ay9465","type":"user"},{"_id":"695ceed51d815b6a5b7b02fb","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/695ceed51d815b6a5b7b02fb/guIZmaT0xSf_a6t8Gq_aJ.png","isPro":true,"fullname":"Donovan Thaing","user":"Skydono","type":"user"},{"_id":"664b6bb0edcadf9fa5e4eadb","avatarUrl":"/avatars/f7aa362d6beb7fbdfad0757f85a7d802.svg","isPro":true,"fullname":"Elias Ben Rhouma","user":"artemisfowl26","type":"user"},{"_id":"695cf701a2c4862f8e71e38f","avatarUrl":"/avatars/632e00e211a5759d0b4a4deb6dabcbdf.svg","isPro":true,"fullname":"Gabriella FERNANDES MACEDO","user":"gabriellafrds","type":"user"},{"_id":"695cf9cfa05af0e4b8318f35","avatarUrl":"/avatars/475211460f6cc60cbca1fc92365847e1.svg","isPro":false,"fullname":"Yassine AIT SAID","user":"yaitsaid","type":"user"},{"_id":"695cfa36a10fde66284ca2da","avatarUrl":"/avatars/dd0259031cc34db1546e367cffff1694.svg","isPro":false,"fullname":"Lina","user":"Lina1712","type":"user"},{"_id":"68d537c61d2ee6800f0b558c","avatarUrl":"/avatars/565ea40cdf27e0dfc80e19a58927b13a.svg","isPro":false,"fullname":"Moghit Yebari","user":"momoyeba","type":"user"},{"_id":"62a08470d48dbca4bf2d9a67","avatarUrl":"/avatars/5bf83a1abed5626af840295a8e190525.svg","isPro":true,"fullname":"Clement Marie","user":"clmrie","type":"user"},{"_id":"695cfbac4d9cb3c6685473db","avatarUrl":"/avatars/ea377e9b8e29e9c0c689704e1a85bd9e.svg","isPro":true,"fullname":"Raphaël Mathiot","user":"raphael-mathiot","type":"user"},{"_id":"65b2d2ab1566a60bdabfcacc","avatarUrl":"/avatars/93bcfaa611e57b2270b21f0bed4ec5ce.svg","isPro":true,"fullname":"Zakaria Abboud","user":"zakariaabboud","type":"user"},{"_id":"695d049e0b7489a2b4899260","avatarUrl":"/avatars/948851b9f2c4a7ab966e0637b38adf7f.svg","isPro":true,"fullname":"xiaotang SUN","user":"Sunxt25","type":"user"},{"_id":"660581f758c6f04163cdc603","avatarUrl":"/avatars/547ff18d1d1f0c86ebfb7051a680aafa.svg","isPro":true,"fullname":"Vincent Gefflaut","user":"Vincentime","type":"user"},{"_id":"695d06b8035b77486037ba4e","avatarUrl":"/avatars/11cce456515e7265a4f36ec7a14500f0.svg","isPro":false,"fullname":"Matéo Torrents","user":"mtorrents","type":"user"},{"_id":"6925bebaeb998a7578a3e4b8","avatarUrl":"/avatars/21efc7b5f1977ca8555c29e31ff61334.svg","isPro":false,"fullname":"Hadrien Do Cao","user":"LeH888","type":"user"},{"_id":"66f302705a64be4b08cbb9aa","avatarUrl":"/avatars/929cbb99e102717613ed64dcd960160f.svg","isPro":true,"fullname":"Wenqing Zhang","user":"WenqingZhang","type":"user"},{"_id":"65edd8654064c103dd098828","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/65edd8654064c103dd098828/0TGW8NjQ5qyTQMLzWhllu.png","isPro":true,"fullname":"Ilyas Oulkadda","user":"ilyasoulk","type":"user"},{"_id":"68ab15776050030c9daf6db7","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/no-auth/6LbcVE_iBWrcieIIm4ect.png","isPro":false,"fullname":"Vincent Zhou","user":"VZ22","type":"user"},{"_id":"67a51f4efbba9036a17f75a2","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/no-auth/TPMgP5bkFLZve2C3zxD8A.png","isPro":true,"fullname":"Nguyen Dang Hoang Khang","user":"khanghoang0902","type":"user"},{"_id":"681f67214ea3e17e4805b725","avatarUrl":"/avatars/d8ca6e3c1db96b51dda0e02d88a743c1.svg","isPro":true,"fullname":"Amine","user":"Ohamine","type":"user"},{"_id":"67d84a6513fe8b6f3e91eb1e","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/no-auth/iwInsQ0-RdVeoQVBZUpPB.png","isPro":true,"fullname":"Chloé Court","user":"chloecourt","type":"user"},{"_id":"6920e3603f72589b931e7d8f","avatarUrl":"/avatars/a4b6af83096a7263baf1275b748c157d.svg","isPro":true,"fullname":"Félix Lebel","user":"felixleb","type":"user"},{"_id":"695d08edd92146452ad85b95","avatarUrl":"/avatars/73856cd2a77a8f43b457c46673057085.svg","isPro":false,"fullname":"Eliott Pradeleix","user":"EliottPrdlx","type":"user"},{"_id":"695c4276ad02296f83a93bcb","avatarUrl":"/avatars/45a5d04104c7c4043ff2cd221df298fa.svg","isPro":true,"fullname":"Rayane","user":"hatsingue","type":"user"},{"_id":"693b385bfbb0a5b5c6df31a1","avatarUrl":"/avatars/831c30a66b58dbdb0085c2e0a071f5a4.svg","isPro":false,"fullname":"Jean Wallard","user":"jwallard","type":"user"},{"_id":"67a663840b958f656e14fda7","avatarUrl":"/avatars/b7507ecea3490e6b5569a482600d9523.svg","isPro":true,"fullname":"Valentin Badea","user":"Valbad","type":"user"},{"_id":"695d0963d92146452ad86722","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/no-auth/4RY-NRsx9tC-ifDbmNi45.png","isPro":false,"fullname":"Jean-François Guerrero","user":"Jfguerrero","type":"user"},{"_id":"61a4ed2ecd3eb3043f38e42d","avatarUrl":"/avatars/91a46f05779c84a87723b692ec50991a.svg","isPro":false,"fullname":"Menan Velayuthan","user":"velmen","type":"user"},{"_id":"670ff8ff8b130d822b297886","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/670ff8ff8b130d822b297886/6AyB4sePUoJZ7CQmS1v4p.png","isPro":true,"fullname":"Armand Blin","user":"armandblin","type":"user"},{"_id":"6846f0eab43462e5640bb08b","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/6846f0eab43462e5640bb08b/eaZKPSS7oeaN7KWy156bu.jpeg","isPro":false,"fullname":"Axel Bröns","user":"axelbrons","type":"user"},{"_id":"695d092925a700d784a07caa","avatarUrl":"/avatars/bd842fbf75a4cd3e39afeb5b089b89c4.svg","isPro":true,"fullname":"Trickster","user":"Tr1ckst3rrr","type":"user"},{"_id":"695d09f274b8ab68e91bafbc","avatarUrl":"/avatars/113f4e2a61d27a68c5b2f91b3f352caa.svg","isPro":false,"fullname":"hamza","user":"ham9081","type":"user"},{"_id":"6683443820ee9ac417f4e701","avatarUrl":"/avatars/d372ced4e1f194873ba4e3e66a4e2d82.svg","isPro":false,"fullname":"Bapfel","user":"Bapfel","type":"user"}],"userCount":200,"collections":[],"datasets":[{"author":"LLM-course","downloads":358,"gated":false,"id":"LLM-course/zork-submission","lastModified":"2026-02-19T20:00:07.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":1,"libraries":["datasets","pandas","polars","mlcroissant"],"formats":["json"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":0,"isLikedByUser":false,"isBenchmark":false},{"author":"LLM-course","downloads":881,"gated":false,"id":"LLM-course/chess-challenge-leaderboard","lastModified":"2026-02-14T14:22:12.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":572,"libraries":["datasets","pandas","polars","mlcroissant"],"formats":["csv"],"modalities":["tabular","text"]},"private":false,"repoType":"dataset","likes":0,"isLikedByUser":false,"isBenchmark":false}],"models":[{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"downloads":110,"gated":false,"id":"LLM-course/chess-above-the-clouds","availableInferenceProviders":[],"lastModified":"2026-02-17T06:10:14.000Z","likes":0,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[]},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"downloads":26,"gated":false,"id":"LLM-course/TRM_d48_L1_H2_C4_35k_LegalW0p5","availableInferenceProviders":[],"lastModified":"2026-01-30T02:25:21.000Z","likes":0,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[]},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"downloads":63,"gated":false,"id":"LLM-course/TRM_d48_L1_H2_C8_35k_LegalW0p5","availableInferenceProviders":[],"lastModified":"2026-01-30T02:25:13.000Z","likes":0,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[]},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"downloads":14,"gated":false,"id":"LLM-course/chess-proven-1M-MDaytek","availableInferenceProviders":[],"lastModified":"2026-01-28T17:37:16.000Z","likes":0,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":998656},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"downloads":10,"gated":false,"id":"LLM-course/chess-intelligent-MDaytek","availableInferenceProviders":[],"lastModified":"2026-01-26T21:38:26.000Z","likes":0,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":828768},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"downloads":32,"gated":false,"id":"LLM-course/chess-MDaytek","availableInferenceProviders":[],"lastModified":"2026-01-26T16:20:55.000Z","likes":0,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":908160},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"downloads":14,"gated":false,"id":"LLM-course/chess-20260126_074025-MDaytek","availableInferenceProviders":[],"lastModified":"2026-01-26T06:40:55.000Z","likes":0,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":908160},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"downloads":9,"gated":false,"id":"LLM-course/simple_tokenizer","availableInferenceProviders":[],"lastModified":"2026-01-26T06:21:27.000Z","likes":0,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":861184},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"downloads":293,"gated":false,"id":"LLM-course/chess-submission-v21-MDaytek","availableInferenceProviders":[],"lastModified":"2026-01-26T06:05:00.000Z","likes":0,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":982272},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"downloads":17,"gated":false,"id":"LLM-course/chess-yassine","availableInferenceProviders":[],"lastModified":"2026-01-25T23:37:25.000Z","likes":0,"pipeline_tag":"text-generation","private":false,"repoType":"model","isLikedByUser":false,"widgetOutputUrls":[],"numParameters":864128}],"paperPreviews":[],"spaces":[{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"colorFrom":"purple","colorTo":"blue","createdAt":"2026-01-05T12:14:07.000Z","emoji":"🐠","id":"LLM-course/lipogram-challenge-submission","lastModified":"2026-02-17T15:29:50.000Z","likes":4,"pinned":true,"private":false,"sdk":"gradio","repoType":"space","runtime":{"stage":"RUNNING","hardware":{"current":"cpu-basic","requested":"cpu-basic"},"storage":null,"gcTimeout":172800,"replicas":{"current":1,"requested":1},"devMode":false,"domains":[{"domain":"llm-course-lipogram-challenge-submission.hf.space","stage":"READY"}],"sha":"cf09db43fa2dfab4f85be98deb44d84c7dadd899"},"shortDescription":"First assignment: La Disparition and Toulouse cancelling","title":"The Lipogram Challenge","isLikedByUser":false,"ai_short_description":"Submit code to compete in a lipogram challenge","ai_category":"Text Generation","trendingScore":0,"tags":["gradio","region:us"],"featured":false},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"colorFrom":"gray","colorTo":"yellow","createdAt":"2026-01-06T17:21:35.000Z","emoji":"♟️","id":"LLM-course/Chess1MChallenge","lastModified":"2026-02-14T14:15:11.000Z","likes":8,"pinned":true,"private":false,"sdk":"gradio","repoType":"space","runtime":{"stage":"RUNNING","hardware":{"current":"cpu-basic","requested":"cpu-basic"},"storage":null,"gcTimeout":172800,"replicas":{"current":1,"requested":1},"devMode":false,"domains":[{"domain":"llm-course-chess1mchallenge.hf.space","stage":"READY"}],"sha":"e39da2f1d2da4432d47842879c86c728cd64ddc1"},"shortDescription":"Second assignment: Play Chess like a Honey Bee","title":"Chess Challenge Arena","isLikedByUser":false,"ai_short_description":"Run Chess Model Evaluation & View Leaderboard","ai_category":"Model Benchmarking","trendingScore":1,"tags":["gradio","region:us"],"featured":false},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"colorFrom":"green","colorTo":"purple","createdAt":"2026-01-17T09:39:02.000Z","emoji":"🎮","id":"LLM-course/Agentic-zork","lastModified":"2026-02-11T08:19:32.000Z","likes":1,"pinned":true,"private":false,"sdk":"gradio","repoType":"space","runtime":{"stage":"RUNNING","hardware":{"current":"cpu-basic","requested":"cpu-basic"},"storage":null,"gcTimeout":172800,"replicas":{"current":1,"requested":1},"devMode":false,"domains":[{"domain":"llm-course-agentic-zork.hf.space","stage":"READY"}],"sha":"fb1ba557ae4e1244cbbe464899dc2c25f706b7ad"},"shortDescription":"Third assignment: Playing Zork has never been so boring!","title":"Agentic Zork","isLikedByUser":false,"ai_short_description":"Submit your text‑adventure AI agent space URL","ai_category":"Other","trendingScore":1,"tags":["gradio","region:us"],"featured":false},{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"colorFrom":"green","colorTo":"blue","createdAt":"2026-02-02T15:00:32.000Z","emoji":"🗺","id":"LLM-course/text-adventure-template","lastModified":"2026-02-17T10:36:11.000Z","likes":0,"pinned":false,"private":false,"sdk":"gradio","repoType":"space","runtime":{"stage":"RUNNING","hardware":{"current":"cpu-basic","requested":"cpu-basic"},"storage":null,"gcTimeout":172800,"replicas":{"current":1,"requested":1},"devMode":false,"domains":[{"domain":"llm-course-text-adventure-template.hf.space","stage":"READY"}],"sha":"615a63b7aa6fd0a028b2ddcc3c3f41323c2af2a3"},"title":"Text Adventure Agent Submission","isLikedByUser":false,"ai_short_description":"Display Text Adventure Agent submission details","ai_category":"Other","trendingScore":0,"tags":["gradio","region:us"],"featured":false}],"buckets":[],"numBuckets":0,"numDatasets":2,"numModels":962,"numSpaces":5,"lastOrgActivities":[{"time":"2026-02-19T02:18:00.628Z","user":"nathanael-fijalkow","userAvatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/ycQZCWc-Z7qhdFMbQp9az.png","orgAvatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","type":"update","repoData":{"author":"LLM-course","downloads":358,"gated":false,"id":"LLM-course/zork-submission","lastModified":"2026-02-19T20:00:07.000Z","datasetsServerInfo":{"viewer":"viewer","numRows":1,"libraries":["datasets","pandas","polars","mlcroissant"],"formats":["json"],"modalities":["text"]},"private":false,"repoType":"dataset","likes":0,"isLikedByUser":false,"isBenchmark":false},"repoId":"LLM-course/zork-submission","repoType":"dataset","org":"LLM-course"},{"time":"2026-02-17T15:30:14.550Z","user":"nathanael-fijalkow","userAvatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/ycQZCWc-Z7qhdFMbQp9az.png","orgAvatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","type":"update","repoData":{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"colorFrom":"purple","colorTo":"blue","createdAt":"2026-01-05T12:14:07.000Z","emoji":"🐠","id":"LLM-course/lipogram-challenge-submission","lastModified":"2026-02-17T15:29:50.000Z","likes":4,"pinned":true,"private":false,"sdk":"gradio","repoType":"space","runtime":{"stage":"RUNNING","hardware":{"current":"cpu-basic","requested":"cpu-basic"},"storage":null,"gcTimeout":172800,"replicas":{"current":1,"requested":1},"devMode":false,"domains":[{"domain":"llm-course-lipogram-challenge-submission.hf.space","stage":"READY"}],"sha":"cf09db43fa2dfab4f85be98deb44d84c7dadd899"},"shortDescription":"First assignment: La Disparition and Toulouse cancelling","title":"The Lipogram Challenge","isLikedByUser":false,"ai_short_description":"Submit code to compete in a lipogram challenge","ai_category":"Text Generation","trendingScore":0,"tags":["gradio","region:us"],"featured":false},"repoId":"LLM-course/lipogram-challenge-submission","repoType":"space","org":"LLM-course"},{"time":"2026-02-17T10:36:22.405Z","user":"nathanael-fijalkow","userAvatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/ycQZCWc-Z7qhdFMbQp9az.png","orgAvatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","type":"update","repoData":{"author":"LLM-course","authorData":{"_id":"6952b7507f63df8031a831e4","avatarUrl":"https://cdn-avatars.huggingface.co/v1/production/uploads/64897d743262c9f1566efb22/VwOReaZ6RPMPUrHx_JtMJ.png","fullname":"MVA+IASD LLM for code and proof","name":"LLM-course","type":"org","isHf":false,"isHfAdmin":false,"isMod":false,"followerCount":208,"isUserFollowing":false},"colorFrom":"green","colorTo":"blue","createdAt":"2026-02-02T15:00:32.000Z","emoji":"🗺","id":"LLM-course/text-adventure-template","lastModified":"2026-02-17T10:36:11.000Z","likes":0,"pinned":false,"private":false,"sdk":"gradio","repoType":"space","runtime":{"stage":"RUNNING","hardware":{"current":"cpu-basic","requested":"cpu-basic"},"storage":null,"gcTimeout":172800,"replicas":{"current":1,"requested":1},"devMode":false,"domains":[{"domain":"llm-course-text-adventure-template.hf.space","stage":"READY"}],"sha":"615a63b7aa6fd0a028b2ddcc3c3f41323c2af2a3"},"title":"Text Adventure Agent Submission","isLikedByUser":false,"ai_short_description":"Display Text Adventure Agent submission details","ai_category":"Other","trendingScore":0,"tags":["gradio","region:us"],"featured":false},"repoId":"LLM-course/text-adventure-template","repoType":"space","org":"LLM-course"}],"acceptLanguages":["*"],"canReadRepos":false,"canReadSpaces":false,"blogPosts":[],"currentRepoPage":0,"filters":{},"paperView":false}">