CoolFace
14 results

ocaml

introspector /ocaml-opam-ppxlib-json-astversion https://git-lfs.github.com/spec/v1 oid sha256:b797e216eb8d6720d794ca5d07a01019cac2d79df456fbcc69b6407497cc267c size 473 0 likes8.7k downloads2y agoHugging FaceAllenGeng /OCaml_program_corpusThis dataset consists of around 350,000 OCaml programs. text1M<n<10M1 likes148 downloads4y agoHugging Faceverify-ppt /marin-starcoderdata_ocaml0 likes69 downloads6mo agoHugging Facesamuki-hf /ocaml-reference-solutions OCaml reference solutions for LiveCodeBench OCaml reference solutions for the multilingual-LiveCodeBench OCaml problem set, together with the list of problems the harness cannot score. 436 problems in the universe 415 are scoreable, and each has a verified reference 21 are excluded as unscoreable (see the errata config) Configs references is one row per problem. errata lists the problems the harness cannot score, with the evidence for each. from datasets import… See the full description on the dataset page: https://huggingface.co/datasets/samuki-hf/ocaml-reference-solutions.tabularn<1K0 likes53 downloads7d agoHugging Facesamuki-hf /ocaml-test-rollouts OCaml test-suite rollouts (multilingual LiveCodeBench) Model-generated test suites for OCaml competitive-programming problems. Each rollout is a language model's response to a problem statement when asked to produce tests for a program solving it, rather than the program itself. Companion to the OCaml code rollouts in samuki-hf/temperature-sweep-data (rollouts/domain=mlcb/language=ocaml/...), generated over the same problems with the same models, sampling configuration and… See the full description on the dataset page: https://huggingface.co/datasets/samuki-hf/ocaml-test-rollouts.tabular100K<n<1M0 likes52 downloads28d agoHugging FaceProgramGym /OCaml_Repostabularn<1K0 likes30 downloads15d agoHugging Face