gsvgit / vsharp Goto Github PK

бахнуть модуль логгирования: либу logging, разные уровни verbosity, круто было бы рисовать табличку с результатами каждой нейронки

fix sort

Нужно зачинить обучение, чтобы оно запускалось хоть как-нибудь

• Использование памяти GPU
• Optional: Проблема с параллельностью

Док:

"""Тут надо быть внимательным, так как реальное количество шагов может быть меньше, чем заявленное в батче. Например, нейронка набрала 100% покрытие раньше, чем исчерпала лимит шагов. Она должна быть более успешной, чем та нейронка, которая также набрала 100% покрытия, но сделала больше шагов. """

надо проверить, что покрытие нейронки, завершившей игру раньше, 100%

Сервер должен уметь корректно играть подряд несколько игр. Сейчас есть проблемы.

1. Раз
2. Два

В некоторых ситуациях состояния могут удаляться из рассмотрения. Например, когда состояния дошло до стока и по нему сгенерировались тесты. Надо убедиться, что такие состояния с карты тоже исчезают. Первые запуски демонстрируют странное поведение, возможное как раз если состояния вовремя не убираются с карты.

Для повышения качества кода хочется выделить "ядро" системы так, чтобы функции оттуда были неизменяемы и могли быть использованы для генетического обучения и обучения с учителем

При отправке на сервер сериализированного State вместо его айди он продолжает работать

Вот ветка с кодом:
https://github.com/emnigma/VSharp/tree/unexpected_server_answer

Вот тут присылается State вместо его Id:
https://github.com/emnigma/VSharp/blob/3af2bca5e0121fd37760b7ff4fdd5bb2dd0f6c75/VSharp.ML.AIAgent/old_agent_launch.py#L55

На сервер приходит вот такой json в итоге:

{"MessageType": "step", "MessageBody": "{\\"StateId\\": {\\"Id\\": 0, \\"Position\\": 1, \\"PredictedUsefulness\\": 0, \\"PathConditionSize\\": 1, \\"VisitedAgainVertices\\": 0, \\"VisitedNotCoveredVerticesInZone\\": 0, \\"VisitedNotCoveredVerticesOutOfZone\\": 0, \\"History\\": [0], \\"Children\\": []}, \\"PredictedStateUsefulness\\": 42.0}"}

вот он же не экранированный:

{
    "MessageType": "step",
    "MessageBody": "{StateId: {Id: 0, Position: 1, PredictedUsefulness: 0, PathConditionSize: 1, VisitedAgainVertices: 0, VisitedNotCoveredVerticesInZone: 0, VisitedNotCoveredVerticesOutOfZone: 0, History: [0], Children: []}, PredictedStateUsefulness: 42.0}"
}

логи:
unexpected.log